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.
PrerequisiteSome basic knowledge of quantum mechanics and category theory. Background in logic or algebraic/differential geometry would be helpful.AbstractA topos is a mathematical structure which resembles the category of sets, and furthermore has a notion of localization. This structure has an internal logic associated to it, in which true-false logic may be replaced by multi-valued logic. To...
地址：北京市海淀区清华大学求真书院
版权所有 © 清华大学 2024 京ICP备15006448号 京公网安备 110402430053 号
