nLab Ieke Moerdijk

Selected writings

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

Selected writings

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

On synthetic differential geometry:

On sheaf and topos theory:

On classifying spaces and classifying toposes:

On algebraic set theory:

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 Lie groupoids and foliations:

On generalized Reedy categories:

category: people

Last revised on June 10, 2025 at 10:32:36. See the history of this page for a list of all contributions to it.