Please download the file for more informatio
Introduction to Topos TheoryTopos theory is a branch of mathematics, based on category theory, which has connections to both algebraic geometry and mathematical logic. Within mathematical logic it can be used to give alternative, more flexible foundations for all of mathematics, and in particular provides the foundation for subjects such as synthetic differential geometry. More recently, the wo...
地址：北京市海淀区清华大学求真书院
版权所有 © 清华大学 2024 京ICP备15006448号 京公网安备 110402430053 号
