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).
The website of the research group is here.
On the categorical semantics of well-founded inductive types ($\mathcal{W}$-types) as given by initial algebras over polynomial endofunctors on the type system:
On generalized Reedy categories:
(with Gonzalo Reyes) Models for Smooth Infinitesimal Analysis
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
Last revised on April 21, 2023 at 08:32:55. See the history of this page for a list of all contributions to it.