The Gleason cover of a topos (1980)

by P T Johnstone
Venue:I, J. Pure Appl. Algebra