The fundamental localic groupoid of a topos (1992)

by J Kennison
Venue:J. Pure Appl. Alg