References for the Bohr topos approach to quantum mechanics
Reference for internal sheafification
Bibliography entry for Vickers' geometricity program
Explanation of failure of right-exactness of Sh --> PSh