Ieke Moerdijk
· 11 obras en el catálogo
Obras

Simplicial Methods for Operads and Algebraic Geometry

Sets, Models and Proofs

Proper maps of toposes
Algebraic Set Theory
Alpine Bouquet of Algebraic Topology

Sheaves in geometry and logic
1992
Simplicial and Dendroidal Homotopy Theory
Introduction to Foliations and Lie Groupoids

Classifying spaces andclassifying topoi
1995

Classifying spaces and classifying topoi
1995

Models for smooth infinitesimal analysis
1991