Books by Ieke Moerdijk
Simplicial and Dendroidal Homo
Simplicial and Dendroidal Homotopy Theory
Alpine Bouquet of Algebraic To
Alpine Bouquet of Algebraic Topology
Sets, Models and Proofs
Simplicial Methods for Operads and Algebraic Geometry
Proper maps of toposes
Algebraic Set Theory
Classifying spaces andclassifying topoi
Sheaves in geometry and logic
Models for smooth infinitesimal analysis