Category theory Higher category theory Homotopy theory
Seifert–Van Kampen theorem
Category theory
Adjoint functors Category theory
Beck's monadicity theorem
Category theory Representable functors Theorems in homotopy theory
Brown's representability theorem