Simplicial Methods for Operads and Algebraic Geometry

Simplicial and Dendroidal Homotopy Theory

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Sets, Models and Proofs

Models for Smooth Infinitesimal Analysis