Ieke Moerdijk
Books
- Alpine Bouquet of Algebraic Topology
- Simplicial and Dendroidal Homotopy Theory
- Proper maps of toposes
- Sheaves in geometry and logic
- Classifying spaces and classifying topoi
- Algebraic Set Theory
- Simplicial Methods for Operads and Algebraic Geometry
- Introduction to Foliations and Lie Groupoids
- Models for smooth infinitesimal analysis
- Sets, Models and Proofs
- Classifying spaces andclassifying topoi
Author data: Open Library