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...
Record: YesLevel: GraduateLanguage: EnglishPrerequisiteBasic mathematics (calculus, algebra, etc.); a textbook knowledge of General Relativity and Quantum Field Theory (including the very basics facts about supersymmetry); the elementary notions of differential geometry (Riemannian geometry, bundles, connections, etc.), Lie groups, and algebraic topology (homology & cohomology groups,etc.).Abst...