On a topological topos (1979)

by P T Johnstone
Venue:Proceedings of the London mathematical society, 38:237–271