The Gleason cover of a topos (1981)

by P T Johnstone
Venue:II. J. Pure Appl. Algebra