A derivability criterion based on the existence of adjunctions

Abstract

In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two consequences of our derivability criterion. On the one hand, we prove that the two notions for homotopy colimits corresponding to Grothendieck derivators and Quillen model categories are equivalent. On the other hand, we deduce that the internal hom for derived Morita theory constructed by B. Toen is indeed the right derived functor of the internal hom of dg-categories.