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

Higher Topos Theory

Class Groups of Number Fields and Related Topics

Advanced Calculus (Revised Edition)

Progress in Commutative Algebra 2: Closures, Finiteness and Factorization

Progress in Commutative Algebra 1: Combinatorics and Homology

Abstract Algebra: A First Course, Second Edition

Algebra: Edition 3