- An Introduction to Geometric Topology
- Lectures on singularity categories
- Groupes de Galois motivques et périodes
- Geometric Points in Tensor Triangular Geometry
- Complex Analysis and Riemann Surfaces: A Graduate Path to Algebraic Geometry
- Condensed mathematics through compactological spaces
- Measure theory via Locales
- Oriented Category Theory
- Universality of multiplicative infinite loop space machines
- On the categorification of homology
- Geometric Langlands in positive characteristic from characteristic zero
- 𝔸^1-invariant motivic cohomology of schemes
- Grothendieck-Witt theory of derived schemes
- Understanding Fermat's Last Theorem's Proofs
- Why Diffeology?
- Higher Zariski Geometry
- How to build a Hopf algebra
- Rickard's Derived Morita Theory: Review and Outlook
- Using the internal language of toposes in algebraic geometry
- Sites and Grothendieck toposes: an introduction
- Left-exact Localizations of ∞-Topoi I: Higher Sheaves
- Simplicial Homotopy Type Theory is not just Simplicial: What are ∞-Categories?
- Complex surfaces with equivalent derived categories
- Reconstruction of schemes from their étale topoi
- Advanced linear algebra
- Lecture notes on sheaves and perverse sheaves