(also nonabelian homological algebra)
equivalences in/of $(\infty,1)$-categories
An (∞,1)-category presented by a model structure on chain complexes.
Its homotopy category of an (∞,1)-category is the derived category of the underlying abelian category.