00:08
What is a Kan extension? #todo
-
Kan extensions:
00:09
-
What are derived functors in a model category?
-
What is a Quillen adjunction?
-
What is a Quillen equivalence?
-
What is an infinity category?
-
What is a topological category?
-
What does it mean for a category to be enriched?
-
What is the homotopy category of a model category?
-
What is the model structure on (differential graded) vector spaces? What are the fibrations, cofibrations, and weak equivalences?
-
What does an augmented algebra correspond to a pointed affine scheme?
-
How are initial and final objects defined in infinity category?
