opos 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 work of Olivia Caramello has sh...
Advances in Homotopy Theory VI WorkshopThis is the sixth edition of a twice-yearly workshop alternating between the Southampton Centre for Geometry, Topology and Applications (CGTA) and the Beijing Institute of Mathematical Sciences and Applications (BIMSA). The aims are to promote exciting new work in homotopy theory, with an emphasis on younger mathematicians, and to showcase the subject’s w...
地址：北京市海淀区清华大学求真书院
版权所有 © 清华大学 2024 京ICP备15006448号 京公网安备 110402430053 号
