A unified framework for generalized multicategories
From MaRDI portal
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.
Recommendations
- A categorical approach to unification of generalised terms
- Categoricity in multiuniversal classes
- scientific article; zbMATH DE number 4122189
- Generalized enrichment of categories
- On categories generalizing universal domains
- scientific article; zbMATH DE number 956838
- Categorical generalization of a universal domain
- Categorical frameworks for generalized functions
- Representable multicategories
- scientific article; zbMATH DE number 3999263
Cited in
(50)- Skew monoidal categories and skew multicategories
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- A categorical approach to the maximum theorem
- Natural multitransformations of multifunctors
- Enriched -categories via non-symmetric -operads
- The higher Morita category of \(\mathbb{E}_n\)-algebras
- Cyclic multicategories, multivariable adjunctions and mates
- Contravariance through enrichment
- Regular patterns, substitudes, Feynman categories and operads
- Kleisli enriched
- A unified framework for notions of algebraic theory
- Discrete double fibrations
- The comprehensive factorization of Burroni's T-functors
- Double categories of relations
- Segal spaces, spans, and semicategories
- Call-by-name gradual type theory
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Infinity category theory from scratch
- Augmented virtual double categories
- Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
- Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings
- scientific article; zbMATH DE number 7646802 (Why is no real title available?)
- Generalized enrichment of categories
- A formal logic for formal category theory
- Formal category theory in augmented virtual double categories
- LNL polycategories and doctrines of linear logic
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The formal theory of relative monads
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- Kleisli categories, T-categories and internal categories
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
- Yoneda lemma and representation theorem for double categories
- A finite approach to representable multicategories and related structures
- Nerves of generalized multicategories
- From thin concurrent games to generalized species of structures (extended version)
- An overview of colax and virtual double categories
- The nerve theorem for relative monads
- Taut functors and the difference operator
- Double categories of relations relative to factorisation systems
- Colax adjunctions and lax-idempotent pseudomonads
- Relative monadicity
- Products in double categories, revisited
- Premonoidal and Kleisli double categories
- Doubly weak double categories
- Presheaves on Lax double functors; or, instances of models of double theories
- Length of fully faithful framed bicategories
- Double categories of profunctors
- Combinatory completeness instructured multicategories
- Toposes with enough points as categories of étale spaces
- Exponentiable virtual double categories and presheaves for double categories
This page was built for publication: A unified framework for generalized multicategories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200289)
