Pith. sign in

REVIEW 1 cited by

Localizations of the categories of $A_\infty$ categories and internal Homs over a ring

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2404.06610 v3 pith:RC6XWWCE submitted 2024-04-09 math.CT math.AGmath.SG

classification math.CTmath.AGmath.SG
keywords categoriesinftyunitallocalizationsabovecategoricalcategoryhoms
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A model structure on the category of A$_\infty$-categories with strict morphisms

    math.CT 2025-06 conditional novelty 6.0 of 10

    The category of strictly unital A∞-categories with strict morphisms admits a cofibrantly generated model structure with quasi-equivalences as weak equivalences.

Pith tools