Formalization of Higher Categories

rispettivo e-learning

Elements of ∞-Category Theory

Introduction to Infinity-Categories

Sheaves in Geometry and Logic

- A First Introduction to Topos Theory

Higher Topos Theory

Higher Algebra

Spectral Algebraic Geometry

videolezioni di ∞-categorie

higher algebra YT playlist

kerdon

D'Algèbre Commutative

The Oxford Handbook of Phil

Derived formal moduli problems