A unified framework for generalized multicategories

Abstract

Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the "lax algebras" or "Kleisli monoids" relative to a "monad" on a bicategory. However, the meanings of these words differ from author to author, as do the specific bicategories considered. We propose a unified framework: by working with monads on double categories and related structures (rather than bicategories), one can define generalized multicategories in a way that unifies all previous examples, while at the same time simplifying and clarifying much of the theory.

76 pages; final version, to appear in TAC

Cited by in corpus (11)

• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Coend calculus
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Skew monoidal categories and skew multicategories
• Profunctor Optics, a Categorical Update
• The formal theory of relative monads
• LNL polycategories and doctrines of linear logic
• A categorical approach to the maximum theorem
• Relative monadicity
• Cartesian double theories: A double-categorical framework for categorical doctrines
• Monoidal envelopes and Grothendieck construction for dendroidal Segal objects