论文标题
TOPOS理论差异代数的视图
A topos-theoretic view of difference algebra
论文作者
论文摘要
我们将差异代数视为对差异集的拓扑中代数对象的研究。 TOPOS理论和分类逻辑的方法使我们能够发展差异同源代数，确定差异代数几何形状的坚实基础以及差异方案的共同体学理论。
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.
