We establish the feasibility of investigating the theory of R-Mod-enriched categories, for any commutative and unitary ring R, through the framework of Ab-enriched category theory. In particular, we prove that the category of R-Mod-enriched categories, $Cat(R$-Mod), the category of R-modules inside Cat(Ab), LMod_R(Cat(Ab)), and the category of Cat(Ab)-enriched functors, FunCat(Ab)(R,Cat(Ab)) are equivalent.
No takes yet. Share an insight, caveat, or question.
Matteo Doni (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: