Books & lecture notes
Ongoing writing projects and course notes. Drafts are updated regularly; comments and corrections are very welcome.
Stable Homotopy Theory and Higher Algebra
A textbook developing stable homotopy theory through a model-independent ∞-categorical approach.
In progress · expected January 2027 · PDF · on Google Drive
Synthetic Category Theory
An axiomatic treatment of ∞-category theory. With Denis-Charles Cisinski, Kim Nguyen and Tashi Walde.
In progress · PDF · on Google Drive