加载中…
We establish the feasibility of investigating the theory of -enriched categories, for any commutative and unitary ring , through the framework of -enriched category theory. In particular, we prove that the category of --enriched categories, -, the category of -modules inside , , and the category of -enriched functors, are equivalent.

生成讲解博客的中文版本

生成AI智能校验的中文版本