Classifying toposes and fundamental localic groupoids (1992)

by M Bunge
Venue:Category Theory ’91, CMS Conf. Proc. 13