From coherent structures to universal properties
From MaRDI portal
Abstract: Given a 2-category admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category with a 2-monad S on it such that: (1)S has the adjoint-pseudo-algebra property. (2)The 2-categories of pseudo-algebras of S and T are equivalent. Thus, coherent structures (pseudo-T-algebras) are transformed into universally characterised ones (adjoint-pseudo-S-algebras). The 2-category consists of lax algebras for the pseudo-monad induced by T on the bicategory of bimodules of . We give an intrinsic characterisation of pseudo-S-algebras in terms of representability. Two major consequences of the above transformation are the classifications of lax and strong morphisms, with the attendant coherence result for pseudo-algebras. We apply the theory in the context of internal categories and examine monoidal and monoidal globular categories (including their monoid classifiers) as well as pseudo-functors into .
For categorical structure (such as coproduct) defined by universal properties, the coherence requirements are essentially automatic. One of the motivations for considering multicategories was to give abstract tensor products a universal flavour and so sweep aside coherence questions. The present paper puts this in a general setting in terms of 2-monads on 2-categories and provides a general coherence theorem. Apart from monoidal categories, the theorem is applied to internal categories, monoidal globular categories, and category-valued pseudo-functors.
Recommendations
Cites work
- A coherent approach to pseudomonads
- A general coherence result
- Avoiding the axiom of choice in general category theory
- Elementary observations on 2-categorical limits
- Fibered categories and the foundations of naive category theory
- scientific article; zbMATH DE number 3933292 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3686405 (Why is no real title available?)
- scientific article; zbMATH DE number 3783245 (Why is no real title available?)
- scientific article; zbMATH DE number 19479 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 1271223 (Why is no real title available?)
- scientific article; zbMATH DE number 2152035 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Modulated bicategories
- Monads for which structures are adjoint to units
- Monoidal bicategories and Hopf algebroids
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Representable multicategories
- The formal theory of monads
- The petit topos of globular sets
- The universal property of the multitude of trees
- Two-dimensional monad theory
- Yoneda structures on 2-categories
Cited in
(29)- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
- A general coherence result
- Representable multicategories
- Codescent objects and coherence
- Paracategories. I: Internal paracategories and saturated partial algebras
- The enriched Vietoris monad on representable spaces
- Cartesian closed exact completions in topology
- Operads within monoidal pseudo algebras
- The syntax of coherence
- Paths and simulations
- Operadic categories and their skew monoidal categories of collections
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- On lifting of biadjoints and lax algebras
- Convergence and quantale-enriched categories
- Contravariance through enrichment
- Universal Approximation Capability of Cascade Correlation for Structures
- The comprehensive factorization of Burroni's T-functors
- scientific article; zbMATH DE number 7377652 (Why is no real title available?)
- A topological perspective on interacting algebraic theories
- A coherence theorem for pseudonatural transformations
- A universal characterisation of codescent objects
- Weak units, universal cells, and coherence via universality for bicategories
- Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
- A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
- Algebras of higher operads as enriched categories
- A finite approach to representable multicategories and related structures
- Nerves of generalized multicategories
- Exponentiable virtual double categories and presheaves for double categories
- Representable \((\mathbb{T},\mathbf{V})\)-categories
This page was built for publication: From coherent structures to universal properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5954120)
