Assume that abelian categories over a field admit countable direct limits and that these limits are exact. Let be a DG quasi-functor such that the functor carries to and such that, for every , the functor is effaceable. We prove that is canonically isomorphic to the right derived DG functor . We also prove a similar result for bounded derived DG categories in a more general setting. We give an example showing that the corresponding statements for triangulated functors are false. We prove a formula that expresses Hochschild cohomology of the categories , as the groups in the abelian category of left exact functors .

生成讲解博客的中文版本

生成AI智能校验的中文版本