Localizations of the categories of $A_\infty$ categories and internal Homs over a ring (2404.06610v3)

Abstract: 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 $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The result is proven at the $\infty$-categorical level by considering the natural $\infty$-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 $A_\infty$ functors. This yields a complete proof of a claim by Kontsevich and Keller.