Representable multicategories
From MaRDI portal
Publication:1570232
DOI10.1006/aima.1999.1877zbMath0960.18004OpenAlexW4212902885MaRDI QIDQ1570232
Publication date: 9 July 2000
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/aima.1999.1877
Related Items
On algebras over multicategories, Paracategories. I: Internal paracategories and saturated partial algebras, Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, Bifibrations of polycategories and classical linear logic, Augmented virtual double categories, A unified framework for notions of algebraic theory, Topological theories and closed objects, The genuine operadic nerve, Skew monoidal categories and skew multicategories, Weak units, universal cells, and coherence via universality for bicategories, Fraction, restriction, and range categories from stable systems of morphisms, The comprehensive factorization of Burroni's T-functors, A Topological Perspective on Interacting Algebraic Theories, On distributivity in higher algebra I: the universal property of bispans, Representable \((\mathbb{T},\mathbf{V})\)-categories, Proof Theory of Partially Normal Skew Monoidal Categories, Quantalic topological theories, Universal properties of bicategories of polynomials, A skew approach to enrichment for Gray-categories, Descent for internal multicategory functors, LNL polycategories and doctrines of linear logic, \(\infty\)-operads as symmetric monoidal \(\infty\)-categories, Polycategories via pseudo-distributive laws, Unnamed Item, Operads within monoidal pseudo algebras, Weak \(n\)-categories: Comparing opetopic foundations., The logic of message-passing, Unnamed Item, Commutative Semantics for Probabilistic Programming, Lawvere theories, finitary monads and Cauchy-completion, How strict is strictification?, Polynomial functors and polynomial monads, Comprehensive factorisation systems, Convergence and quantale-enriched categories, The enriched Vietoris monad on representable spaces, Natural multitransformations of multifunctors, Regular patterns, substitudes, Feynman categories and operads, Fibered Multiderivators and (co)homological descent, From coherent structures to universal properties, Six-functor-formalisms and fibered multiderivators, Monads on higher monoidal categories, Filtered cocategories, Dynamical systems and sheaves, A categorical outlook on relational modalities and simulations, Cartesian closed exact completions in topology, A monadic approach to polycategories, Multiplicative Linear Logics and Fibrations, Unnamed Item, Cofibrantly generated lax orthogonal factorisation systems, The formal theory of monads. II, The Sequent Calculus of Skew Monoidal Categories, Metric, topology and multicategory -- a common approach, Abstract substitution in enriched categories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Limits indexed by category-valued 2-functors
- Yoneda structures on 2-categories
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Braided tensor categories
- Koszul duality for operads
- Monoidal bicategories and Hopf algebroids
- V-cat and V-graph
- Monads for which structures are adjoint to units
- Handbook of algebra. Volume 1
- The formal theory of monads
- Simply Connected Limits
- Elementary observations on 2-categorical limits
- Introduction to bicategories
- Coherence for tricategories
- On weak higher-dimensional categories. I. 2
