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).

• website, wikipedia, GQT:researchers

The website of the research group is here.

Selected writings

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 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]

books with table of contents and links on the $n$Lab

• (with Saunders MacLane) Sheaves in Geometry and Logic

  on sheaf and topos theory

• (with Gonzalo Reyes) Models for Smooth Infinitesimal Analysis

  on synthetic differential geometry

Other books by Moerdijk include

• (with Janez Mrčun) Introduction to foliations and Lie groupoids, Cambridge Studies in Advanced Mathematics, 91. Cambridge University Press, Cambridge, 2003. x+173 pp. ISBN: 0-521-83197-0

• Classifying spaces and classifying topoi, Lecture Notes in Mathematics 1616, Springer 1995. vi+94 pp. ISBN: 3-540-60319-0

• (with Andre Joyal) Algebraic set theory, London Mathematical Society Lecture Note Series 220, Cambridge University Press 1995. viii+123 pp. ISBN: 0-521-55830-1

  on algebraic set theory

category: people