Books · Search
Algebraic Set Theory
1995
Nonstandard mathematical analysis · Sheaf theory
Models for smooth infinitesimal analysis
1991
Toposes · Sheaves, theory of
Sheaves in geometry and logic
1992
Toposes · Mappings (Mathematics)
Proper maps of toposes
2000
Algebraic topology
Alpine Bouquet of Algebraic Topology
2018
Simplicial and Dendroidal Homotopy Theory
2022
Toposes · Grothendieck categories
Classifying spaces andclassifying topoi
Foliations (mathematics)
Introduction to Foliations and Lie Groupoids
2003
Classifying spaces and classifying topoi
Mathematics
Sets, Models and Proofs
Mathematics · Algebraic topology
Simplicial Methods for Operads and Algebraic Geometry
2010
