PrerequisiteLinear algebra; Matrix analysisAbstractThis 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
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...