Derived $(\infty ,1)$-categories of two kinds

Abstract

The aim of this paper is to reformulate the theory of unbounded derived categories, including more recent categories of first and second kind, using the language of $(\infty ,1)$-categories.

arXiv commentCorrected typos