Stable infinity-categories provide a framework to study derived categories via universal properties, in contrast to the more traditional approach via the axioms of triangulated categories. In this series, we will give an introduction to this perspective, explain basic illustrative results, and conclude with a discussion of the enduring question as to what kind of categorical structure derived categories should form (motivated by an ongoing attempt to implement categorified variants of homological algebra).