## From Coherent Structures to Universal Properties (1999)

Venue: | J. Pure Appl. Algebra |

Citations: | 13 - 2 self |

### BibTeX

@ARTICLE{Hermida99fromcoherent,

author = {Claudio Hermida},

title = {From Coherent Structures to Universal Properties},

journal = {J. Pure Appl. Algebra},

year = {1999},

volume = {165},

pages = {7--61}

}

### OpenURL

### Abstract

Given a 2-category K admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category L with a 2-monad S on it such that: • S has the adjoint-pseudo-algebra property. • 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 L consists of lax algebras for the pseudo-monad induced by T on the bicategory of bimodules of K. 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 Cat.

### Citations

500 |
Categories for the Working Mathematician
- MacLane
- 1971
(Show Context)
Citation Context ..., where a multicategory is a monoid structure on a multigraph. All three views are valuable. Thesrst is the traditional one, which by virtue of the classical `all diagrams commute' result of Mac Lane =-=[Mac71]-=- admits asnite presentation. The other two approaches have the advantage of enabling us to reason by universal arguments and dispense with the coherence axioms. The third approach is technically the s... |

194 | Topos Theory - Johnstone - 1977 |

130 |
The Formal Theory of Monads
- Street
- 1972
(Show Context)
Citation Context ...lar (N; N) bimod structure, which is transferred by change-of-base along the morphisms (f; f h ); (g; g h ) : M!N . 4.5. Remark. Our denition of morphism of monads above is a special case of that of [=-=Str72-=-], where we have restricted the 1-cells to be representable bimodules. This is in accordance with the similar restriction we imposed on morphisms of lax algebras. Our denition of 2-cells mimics that o... |

113 |
Monoidal globular categories as a natural environment for the theory of weak ncategories
- Batanin
- 1998
(Show Context)
Citation Context ... thus recovered the classical description of the monoid classier for monoidal categories, usually credited to Lawvere. 10 Monoidal globular categories Monoidal globular categories were introduced in [=-=Bat9-=-8] as a framework for weak higher-dimensional categories. Brie y put, they allow the denition of higher-dimensional operads (see Remark 10.3 below) so that weak higher-dimensional categories are dened... |

81 | Cartesian bicategories - Carboni, Walters - 1987 |

75 |
Two-dimensional monad theory
- Blackwell, Kelly, et al.
- 1989
(Show Context)
Citation Context ...with them in terms of algebras for a monad. In the study of structure borne by a category we are led to consider 2-monads on Cat, the 2-category of categories, functors and natural transformations cf.=-=[BKP89]-=-. However, the strict associativity axiom for algebras is too restrictive to deal with the structures of interest, e.g. completeness or cocompleteness, in which the operations are associative only up ... |

61 | Monoidal bicategories and Hopf algebroids - Day, Street |

46 |
Elementary observations on 2-categorical limits
- Kelly
- 1989
(Show Context)
Citation Context ...ay be seen as some foundational 2-dimensional algebra intrinsic to a `regular 2-category'. We rely on the notions of coinserter and coequier in a 2-category, which can be found in the survey article [=-=Ke-=-l89]. 12 2.6. Proposition. If K admits coinserters and coequiers, then Bimod(K) admits representable Kleisli objects. Proof. Consider a monad (M : X 6! X; ; ) in Bimod(K). Let M [] be the (object part... |

39 | Fibered categories and the foundations of naive category theory, The - Bénabou - 1985 |

35 | Monads for which structures are adjoint to units
- Kock
(Show Context)
Citation Context ...eudo-algebra property . This latter means that x : T 0 X!X bears a pseudo-algebra structure if and only if x a X , i.e. the structure is left adjoint to the unit. This property has been analysed in [=-=Koc9-=-5], and amounts to requiring 2 a T 0 , i.e. the adjoint condition holds for the free algebra. Thus, for a given X there is up to isomorphism only one possible pseudo-algebra structure on it, if any s... |

34 | 2000), Representable multicategories - Hermida |

32 |
structures on 2-categories
- Street, Walters, et al.
- 1978
(Show Context)
Citation Context ...to preserve bijective-on-objects functors. Since 35 ` Kleisli morphism = bijective-on-objects + right adjoint ' whenever these terms make sense (e.g. in any 2-category endowed with a Yoneda structure =-=[SW78]-=-) and 2-functors preserve adjoints, our requirement is in principle formally weaker than that of Power (modulo our general assumption about bimodules). One advantage of our construction is that it usu... |

28 |
Fibrations and Yoneda’s lemma in a 2-category
- Street
- 1974
(Show Context)
Citation Context ...tions on it. Without indulging in details here, let us point out that this provides a natural example of a 2-category where the appropriate notion ofsbration is not the representable one advocated in =-=[Str73]-=-. In fact the second and third approaches above can be formally related (and shown equivalent) in the context of internal category theory (see x8). The second part of the paper is devoted to three bas... |

27 |
Avoiding the axiom of choice in general category theory
- Makkai
- 1996
(Show Context)
Citation Context ...h matters, regardless of any actual choice of representative for the operations. Thus our result provides an alternative approach to `avoiding the axiom of choice in category theory' to that given in =-=[Mak9-=-6], which considers all possible choices of representatives simultaneously. We will further establish two important consequences from our construction of K 0 and T 0 : Classication of strong morphism... |

21 | Fibrations in bicategories, Cahiers Topologie Géométrie Différentielle 21 - Street - 1980 |

18 |
The universal property of the multitude of trees
- Batanin, Street
(Show Context)
Citation Context ... attendant coherence result (x10.2) . In x10.3 we analyse lax morphisms from the terminal monoidal globular category into a given monoidal globular category C (the globular monoids in C introduced in =-=[BS-=-98]) and give a description of their classier. 44 10.1 Pseudo-algebras on globular categories An n-graph C is a commutative diagram of sets C n dn ||x x x x x x cn ## F F F F F F C n 1 dn 1 cn 1 Q Q ... |

18 |
A general coherence result
- Power
- 1989
(Show Context)
Citation Context ...ent to a strict one. 2. Every pseudo-T -algebra is equivalent to a strict one. 2 7.5. Remark. Just about the only other result in the literature about coherence at this level of generality is that of =-=[Pow89-=-]. The main dierence in terms of prerequisites is that we assume the good behaviour of T with respect to bimodules, which allows its transformation into a doctrine with the adjointpseudo -algebra prop... |

13 | Distributive laws for pseudomonads, Theory and Applications of Categories 5 - Marmolejo - 1999 |

10 | Distributive laws for pseudo-monads - Marmolejo - 1999 |

5 | Some remarks on free monoids in a topos - Bénabou - 1991 |

3 | editors, Category Theory 90, volume 1488 - Pedicchio, Rosolini - 1990 |

2 | Distributeurs et theorie de la forme. Cahiers Topologie Geom. Dierentielle Categoriques - Bourn, Cordier - 1980 |

2 |
Fibrations and Yoneda structure for multicategories
- Hermida
- 1999
(Show Context)
Citation Context ...ence with pseudo-algebras in a more penetrating way than the account based on multigraphs. The fact that the bimodule so constructed from a multicategory M corresponds to its `hom' is made precise in =-=[Her99a]-=-, which exhibits it as part of a Yoneda structure on multicategories, and develops a theory forsbrations for them so that the Yoneda object on M does correspond to the object of discretesbrations on i... |

2 |
Handbook of Algebra, volume I, chapter Categorical Structues
- Street
- 1996
(Show Context)
Citation Context ... x x x x x t 2 B B B B B B O 0 O 0 O 1 O 1 PDO 2 O 2 compatible with d i ; c i (i = 0; 1; 2), where O 1 is the set of composable 1-cells in O and PDO 2 is the set of pastings of 2-cells in O. See [S=-=tr96]-=- for a detailed description of the pasting diagrams of the related (and more complex) situation of computads and their role in the construction of free 2-categories. A multicategory in 2 gph is theref... |

2 |
The petit topos of globular sets. to appear in
- Street
- 1999
(Show Context)
Citation Context ... ! as indicated in [Str99, BS98]. Consequently we have the 2-monads Cat(T 1 ) : Cat(1 gph)!Cat(1 gph) and Cat(T ! ) : Cat(! gph)!Cat(! gph). Notice that ! gph = Glob, the category of globular sets in =-=[Str99]-=-, and thus Cat(! gph) = GlobCat, the category of globular categories and globular functors. We want to analyse the pseudo-algebras of Cat(T ! ). We do so by analysing the algebras and pseudo-algebras ... |

1 |
Iterated monoidal categories. available as math/9808082
- Balteanu, Fiedorowicz, et al.
- 1998
(Show Context)
Citation Context ...noidal functor C 2 C 1 C 2 (which inherits a pairwise monoidal structure from (C 2 ; 0 2 ; I 0 2 ; ; ; )) to C 2 . Simliar considerations apply to the units. This is the point of view adopted in [BFS=-=V98-=-], which gives a sound conceptual account of interchange constraints and their attendant axioms. Extrapolating to the colimit, we conclude Cat(T ! ) alg Strict Monoidal Globular Cat 46 Ps Cat(M) alg ... |

1 |
Representable multicategories. available at http://www.maths.usyd.edu.au:8000/u//hermida
- Hermida
- 1999
(Show Context)
Citation Context ...owever, if we regard such monoidal structure as algebraic structure on a multicategory M (with underlying category C ), it becomes a universal property, namely that M be representable in the sense of =-=[Her99b]-=-. The developments in ibid. lead us to seek a systematic way of achieving such a transformation. That is, given the 2-monad T on Cat whose pseudoalgebras are monoidal categories (thus T C = freemonoid... |

1 | A coherent approach to pseudomonads. unpublished, available at http://cat.maths.usyd.edu.au/~stevel - Lack - 1999 |

1 | Proarrows I. Cahiers Topologie Geom. Dierentielle Categoriques - Wood - 1982 |

1 | A coherent approach to pseudomonads. available at http://cat.maths.usyd.edu.au/~stevel - Lack - 1999 |

1 | to appear in Journal of Pure and Applied Algebra, special issue dedicated to F. W. Lawvere 60th birthday. [CJSV94 - Carboni, Johnson, et al. - 1998 |