Group action in topos quantum physics
Group action in topos quantum physics
Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Döring, as an alternative mathematical structure within which to formulate physical theories. In particular, it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used …