A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory - A. Doering; C. J. Isham (J. Math. Phys., 2007)