Enrichment of Algebraic Higher Categories

Abstract

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.

24 pages