Introduction to Quantum Combinatorics

Tomasz Maszczyk

We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum s…