A functor $N\colon\mathrm{Cat}\_{A\_\infty}\longrightarrow\mathrm{Cat}\_\infty$ is constructed in a paper [1] by Faonte. This gives a way to get an $\infty$-category by starting with an $A\_\infty$-category.


Going the other way, is it possible to *define* linear $A\_\infty$-categories as special $\infty$-categories?




---


References
----------


[1] Simplicial nerve of an A-infinity category (Giovanni Faonte, [arXiv:1312.2127)](https://arxiv.org/abs/1312.2127), suggested by DamienC in an answer to [MO152370](https://mathoverflow.net/questions/152370/are-infty-1-categories-a-infty-categories).



Is it possible to define linear $A_\infty$-categories as special $\infty$-categories?
An affirmative to the "conjecture" above is fully recorded in this work:
<https://arxiv.org/abs/2003.05806>


In Remark 1.2, for example, we comment how Gepner-Haugseng's results imply that k-linear A-infinity categories are precisely k-chain-complex-enriched infinity-categories.


This passes through the infinity-categorical equivalence between k-linear dg-categories and k-linear A-infinity categories. The proof is completely in line with Rune's comments--in fact, it was based on a discussion I had with Rune back before COVID.


By the way, if you define a k-linear infinity-category to be an infinity-category enriched over k-chain-complexes, you're fine. (Re: Denis's comment.) But some people define k-linear infinity-categories as those with an action of the infinity-category of k-linear chain complexes; then you're not fine. Not all A-infinity-categories have (even finite) colimits, for example. I think this is what Yonatan points out in the comments.


So, to address OP's original question: No, k-linear A-infinity-categories are not a full subcategory of infinity-categories.


