Urs Schreiber
14h ago
Background Basic concepts Universal constructions Local presentation Theorems (∞,1)-Yoneda lemma (∞,1)-Grothendieck construction adjoint (∞,1)-functor theorem (∞,1)-monadicity theorem Extra stuff, structure, properties Models homotopy theory, (∞,1)-category theory, homotopy type theory flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed… models: topological, simp…

