Talk 5: Derived ∞-categories
Vincent Zahlen (Universität Heidelberg)

References: [5]
This talk should give an overview of the theory of derived categories from the persepctive of higher category theory. First, give a reminder on the (classical) Dold-Kan correspondence. Go then on and introduce the derived ∞-category D−(A) of an abelian category A with enough projectives, which is done in [5, §13]. In particular, one should explain the connection to the usual derived category [5, Remark 13.7.]. Go then on and show that D−(A) is stable [5, Proposition 13.10].