  This review paper surveys work by Isham, Butterfield, Doering, Landsman,
Spitters, Heunen et al. about topos-theoretic analyses of quantum theory. It
aims to provide a synthesized account of their various approaches.
