SearcharxivSearch

arXiv subjects

Matteo Doni

Publications and source records attributed to Matteo Doni.

3 recordsLinked to original sources

$\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories are left $R$-module objects of $\mathcal{C}at^{\mathcal{V}}$ and $\mathcal{C}at^{\mathcal{V}}$-enriched $\infty$-functors

We investigate $\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories, where $R$ is an $\mathbb{E}_2$-ring in a presentable $\mathbb{E}_2$-monoidal $\infty$-category $\mathcal{V}$, using $\mathcal{V}$-enriched $\infty$-category theory. We prove the equivalence of $\mathcal{C}at_{\infty}^{\mathrm{LMod}_{R}(\mathcal{V})}$ (the $\infty$-category of $\mathrm{LMod}_{R}(\mathcal{V})$-enriched $\infty$-categories) and $\mathrm{LMod}_{R}(\mathcal{C}at_{\infty}^{\mathcal{V}})$ (left $R$-modules in $\mathcal{C}at_{\infty}^{\mathcal{V}}$). For $R$ an $\mathbb{E}_2$-ring in a presentable $\mathbb{E}_3$-monoidal $\infty$-category, they are also equivalent to $Fun^{\mathcal{C}at_{\infty}^{\mathcal{V}}}(B^2R,\mathcal{C}at_{\infty}^{\mathcal{V}})$, where $B^2(-)$ is the "$2$-delooping". This result generalizes: if $R$ is an $\mathbb{E}_{n+1}$-ring in a presentable $\mathbb{E}_{n+1}$-monoidal $\infty$-category, $(\infty,n)$-categories enriched in $\mathrm{LMod}_{R}(\mathcal{V})$ are equivalent to $B^nR$-modules in $\mathcal{V}$-enriched $(\infty,n)$-categories, where $B^n(-)$ is the "$n$-delooping". A notable case is $\mathcal{V} = \mathcal{S}p$ and $R = \mathbb{H}\mathrm{k}$, the Eilenberg-MacLane spectrum of a commutative ring $k$. In this case, the results provide two new descriptions of $\mathcal{D}(k)$ the $\infty$-category of dg-categories over $k$, a key object in derived algebraic geometry.

math.CT

$R\text{-}\mathrm{Mod}$-enriched categories are left $\underline{R}$-module objects of $Cat(\mathbb{A}\mathrm{b})$ and $Cat(\mathbb{A}\mathrm{b})$-enriched functors

We establish the feasibility of investigating the theory of $R\text{-}\mathrm{Mod}$-enriched categories, for any commutative and unitary ring $R$, through the framework of $\mathbb{A}\mathrm{b}$-enriched category theory. In particular, we prove that the category of $R$-$\mathrm{Mod}$-enriched categories, $Cat(R$-$\mathrm{Mod})$, the category of $\underline{R}$-modules inside $Cat(\mathbb{A}\mathrm{b})$, $\mathrm{LMod}_{\underline{R}}(Cat(\mathbb{A}\mathrm{b}))$, and the category of $Cat(\mathbb{A}\mathrm{b})$-enriched functors, $Fun^{Cat(\mathbb{A}\mathrm{b})}(\underline{\underline{R}},Cat(\mathbb{A}\mathrm{b}))$ are equivalent.

math.CT

$k$-linear Morita theory

In this paper, we prove the standard comparison used by mathematicians between the idempotent complete pretriangulated dg-categories, over a unitary and commutative ring $k$, and the idempotent complete $k$-linear stable $\infty$-categories. Our approach is completely included in the $\infty$-categorical theory. To achieve the target we will reinterpret the Morita theory for dg-categories and we set the Morita theory for $k$-linear stable $\infty$-category.

math.CT