Submission date: 24 January 2020

Abstract:

We view difference algebra as the study of algebraic objects in the topos of difference sets. The methods of topos theory and categorical logic enable us to develop difference homological algebra, identify a solid foundation for difference algebraic geometry, and cohomology theory of difference schemes.

Mathematics Subject Classification: 12H10, 14A20, 14F20, 18B25, 18D20, 03G30

Keywords and phrases:

Full text arXiv 2001.09075: pdf, ps.