"Topos theory in the foundations of physics"