PrerequisiteA basic knowledge of quantum mechanics is required.AbstractThis course will provide a general introduction to the theoretical part of tensor networks. The main contents include symmetric tensor network representation, fermionic tensor network representation, tensor network representation of typical topological quantum states, as well as connections between tensor network representat...
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...