IntroductionThis course will focus on a formal presentation of definitions and theorems on quantum channels in quantum information theory.Numerous mathematical proofs of these theorems will be showed.Lecturer IntroMeng Cao received the PhD degree from the Department of Mathematical Sciences, Tsinghua University, in Aug. 2020. From Sep. 2020 to Nov. 2022, he worked as a postdoctoral researcher i...
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...