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...
PrerequisiteAbstract Algebra, Number Field ThoeryAbstractAlgebraic Function thoery involves the study of the field extensions of transcendental degree one. In algebraic geometry, a function field correspondences to the function field of some algebraic curve. In number theory, a function field will play a role similar to that of a finite extension of the field of rational numbers. Also, the theo...
Telephone：010-62780940；010-62780524
E-mail：qzsy@tsinghua.edu.cn
Address：Qiuzhen College, Tsinghua University, Haidian District, Beijing
© 2024 Tsinghua University. All Rights Reserved 京ICP备15006448号 京公网安备 110402430053 号
