The classifying topos of a continuous groupoid (1988)

by I Moerdijk
Venue:I. Transactions A.M.S