Classifying toposes and fundamental localic groupoids, Category Theory (1991)

by M Bunge
Venue:CMS Conf. Proc