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

 

An Infinitely Large Napkin

 

Handbook of Automated Reasoning

Diagrammatic Algebra of First Order Logic