Abstract：We will begin our introduction to (many-sorted) first-order predicate logic and the interpretation of various fragments of this logic in categories with sufficient structure.Referencehttps://www.oliviacaramello.com/Unification/ToposTheoreticPreliminariesOliviaCaramello.pdf.
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...
E-mail：qzsy@tsinghua.edu.cn
Address：Qiuzhen College, Tsinghua University, Haidian District, Beijing
© 2024 Tsinghua University. All Rights Reserved 京ICP备15006448号 京公网安备 110402430053 号
