Topos theory and `neo-realist' quantum theory - Andreas Doering (2007)