English

$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

Category Theory 2024-06-25 v1

Abstract

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

Keywords

Cite

@article{arxiv.2406.15887,
  title  = {$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},
  author = {Matteo Doni},
  journal= {arXiv preprint arXiv:2406.15887},
  year   = {2024}
}
R2 v1 2026-06-28T17:15:57.324Z