Description:This course is an introduction to theoretical quantum information science. The main goal of this course is to provide an overview of the central concepts and methods in the theory of quantum information and computation, with a potential focus on its interconnections with physics and mathematics, to equip the participants with an adequate background to explore research in theoretical...
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...