"Classifying Spaces and Classifying Topoi" - читать интересную книгу автора (Izak Moerdijk)