论文标题
内部丰富类别
Internal enriched categories
论文作者
论文摘要
我们介绍了对内部单体类别的丰富理论，作为对富集和内部类别的标准理论的共同概括。本文的目的是通过将新概念与其他已知的富集概括进行比较：即索引类别和概括的多级概述来证明和背景化新概念。事实证明，这两个概念都与内部富集密切相关，作为推论，彼此之间。
We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of the paper is to justify and contextualize the new notion by comparing it to other known generalizations of enrichment: namely, those for indexed categories and for generalized multicategories. It turns out that both of these notions are closely related to internal enrichment and, as a corollary, to each other.
