Izak Moerdijk

• Classifying Spaces and Classifying Topoi