We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of unital and of strictly unital A_∞ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The same result is also proved at the ∞-categorical level in the strictly unital case. As an application, we provide a new proof of the existence of internal Homs for the homotopy category of dg categories in terms of the category of unital A_∞ functors, thus yielding a complete proof of a claim by Kontsevich and Keller.
No takes yet. Share an insight, caveat, or question.
Canonaco et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: