加载中…
We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of cohomologically unital, of unital and of strictly unital categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The result is proven at the -categorical level by considering the natural -categorical models of the categories above. As an application of the techniques we develop to compare the localizations mentioned above, we provide a new proof of the existence of internal Homs for the homotopy category of dg categories in terms of the category of (strictly) unital functors. This yields a complete proof of a claim by Kontsevich and Keller.

生成讲解博客的中文版本

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