Classifying topos
1972 ◽
pp. 43-56
◽