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

Math Storm Olympiad Problems

General Topology

Sets, Models and Proofs

Visual Differential Geometry and Forms: A Mathematical Drama in Five Acts

Simplicial and Dendroidal Homotopy Theory

Fundamental Concepts of Abstract Algebra

Models for Smooth Infinitesimal Analysis

Elements of Abstract Algebra

Simplicial Methods for Operads and Algebraic Geometry

Groups and Symmetry

Class Groups of Number Fields and Related Topics

Advanced Calculus (Revised Edition)

Abstract Algebra: A First Course, Second Edition

Deep Down Things: The Breathtaking Beauty of Particle Physics

The Divine Proportion

Higher Topos Theory