论文标题
代数高级类别的丰富
Enrichment of Algebraic Higher Categories
论文作者
论文摘要
我们提供了一种适用于各种分类结构的富集的定义,从而推广了伦斯特的丰富$ t $ - 多种化合物理论。作为新富集结构的样本,我们详细描述了丰富的单体类别和丰富的双重类别的示例,重点侧重于单型双重类别,是广泛方便的富集基础。
We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched $T$-multicategories. As a sample of newly enrichable structures, we describe in detail the examples of enriched monoidal categories and enriched double categories, with a focus on monoidal double categories as broadly convenient bases of enrichment.