Classifying Spaces and Classifying Topoi

Simplicial Methods for Operads and Algebraic Geometry

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

Sets, Models and Proofs

Models for Smooth Infinitesimal Analysis