6 books • 5 series
Simplicial and Dendroidal Homotopy Theory (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, #75)
Sets, Models and Proofs (Springer Undergraduate Mathematics)
Simplicial Methods for Operads and Algebraic Geometry (Advanced Courses in Mathematics - CRM Barcelona)
Algebraic Set Theory (London Mathematical Society Lecture Note)
Sheaves in Geometry and Logic (Universitext)
Models for Smooth Infinitesimal Analysis