nLab Ieke Moerdijk

Ieke Moerdijk is a professor of mathematics at University of Utrecht. His main interests are in sheaf and topos theory, descent and cohomology, synthetic differential geometry, operads, groupoids, stacks and orbifolds, Lie groupoids and foliations, and abstract homotopy theory (Quillen model categories).

• institute website,

• Wikipedia entry

• MathGenealogy page

• GoogleScholar page

Selected writings

On the Heine-Borel theorem not implying the fan theorem:

• Ieke Moerdijk, Heine-Borel Does Not Imply the Fan Theorem, Journal of Symbolic Logic, vol. 49, no. 2, 1984, pp. 514–519. (doi:10.2307/2274182)

On synthetic differential geometry:

• Ieke Moerdijk, Gonzalo E. Reyes: Models for Smooth Infinitesimal Analysis, Springer (1991) [doi:10.1007/978-1-4757-4143-8]

On sheaf and topos theory:

• Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic – A first introduction to topos theory, Springer (1992) [doi:10.1007/978-1-4612-0927-0]

On classifying spaces and classifying toposes:

• Ieke Moerdijk: Classifying spaces and classifying topoi, Lecture Notes in Mathematics 1616, Springer (1995) [ISBN:3-540-60319-0, doi:10.1007/BFb0094441]

On algebraic set theory:

• André Joyal, Ieke Moerdijk: Algebraic set theory, London Mathematical Society Lecture Note Series 220, Cambridge University Press (1995) [ISBN:0-521-55830-1, doi:10.1017/CBO9780511752483]

On the categorical semantics of well-founded inductive types ($\mathcal{W}$-types) as given by initial algebras over polynomial endofunctors on the type system:

• Ieke Moerdijk, Erik Palmgren, Wellfounded trees in categories, Annals of Pure and Applied Logic 104 1-3 (2000) 189-218 [doi:10.1016/S0168-0072(00)00012-9]

On Lie groupoids and foliations:

• Ieke Moerdijk, Janez Mrčun: Introduction to Foliations and Lie Groupoids, Studies in Advanced Mathematics 91, Cambridge University Press (2003) [ISBN:0-521-83197-0, doi:10.1017/CBO9780511615450]

On generalized Reedy categories:

• Clemens Berger, Ieke Moerdijk, On an extension of the notion of Reedy category, Mathematische Zeitschrift 269 (2011) 977–1004 [arXiv:0809.3341, doi:10.1007/s00209-010-0770-x]