## Representable Multicategories (2000)

Venue: | Advances in Mathematics |

Citations: | 34 - 6 self |

### BibTeX

@INPROCEEDINGS{Hermida00representablemulticategories,

author = {Claudio Hermida},

title = {Representable Multicategories},

booktitle = {Advances in Mathematics},

year = {2000},

pages = {164--225}

}

### Years of Citing Articles

### OpenURL

### Abstract

We introduce the notion of representable multicategory , which stands in the same relation to that of monoidal category as bration does to contravariant pseudofunctor (into Cat). We give an abstract reformulation of multicategories as monads in a suitable Kleisli bicategory of spans. We describe representability in elementary terms via universal arrows . We also give a doctrinal characterisation of representability based on a fundamental monadic adjunction between the 2-category of multicategories and that of strict monoidal categories. The first main result is the coherence theorem for representable multicategories, asserting their equivalence to strict ones, which we establish via a new technique based on the above doctrinal characterisation. The other main result is a 2-equivalence between the 2category of representable multicategories and that of monoidal categories and strong monoidal functors. This correspondence extends smoothly to one between bicategories and a se...

### Citations

482 | Categories for the Working Mathematician - MacLane - 1971 |

382 | Basic concepts of enriched category theory - Kelly - 1982 |

242 |
Braided tensor categories
- Joyal, Street
- 1993
(Show Context)
Citation Context ...riangle for the units and the associativity pentagon, follow from the uniqueness of mediating morphisms between (codomains of) universal arrows for the same sequence of objects. In the terminology of =-=[JS93]-=-, such univeral arrows and the mediating morphisms between them form a clique (a category equivalent to the terminal one). We now extend the above construction to morphisms of representable multicateg... |

232 | Koszul duality for operads - Ginzburg, Kapranov - 1994 |

166 |
Traced monoidal categories
- Joyal, Street, et al.
- 1996
(Show Context)
Citation Context ...riangle for the units and the associativity pentagon, follow from the uniqueness of mediating morphisms between (codomains of) universal arrows for the same sequence of objects. In the terminology of =-=[JS93]-=-, such univeral arrows and the mediating morphisms between them form a clique (a category equivalent to the terminal one). 38 We now extend the above construction to morphisms of representable multica... |

143 | Introduction to bicategories, in - Bénabou |

126 |
The formal theory of monads
- Street
- 1972
(Show Context)
Citation Context ...ucture (namely functors and natural transformations) to follow from this identication. This is not quite as straightforward: Street's original formulation of the 2-category of monads in a 2-category [=-=Str72-=-] was designed to account for the category-of-algebras construction, and his denition does not apply to obtain the 2-category of internal categories in a direct way. Street has recently elaborated an ... |

111 |
Monoidal globular categories as a natural environment for the theory of weak n-categories
- Batanin
- 1998
(Show Context)
Citation Context ... topological ones of [Joy97, Tam96] which deal with such n-dimensional gadgets via their nerves, imposing suitableslling conditions on certain cellular structures. Another approach is that of Batanin =-=[Bat98b-=-], based on homotopical algebra, more specically on the theory of operads. He considers contractible operads to organise the `spaces' of coherent operations, so that weak n-categories amount to algebr... |

109 |
tricategories
- Power, Why
- 1995
(Show Context)
Citation Context ...categories with pullbacks, pullback preserving functors and cartesian transformations. Let Bicat denote the tricategory of bicategories, homomorphisms, pseudo-natural transformations and modications [=-=GPS95]-=-. A.3. Proposition. The bicategory of spans construction extends to a trihomomorphism Spn( ) : Pbk ! Bicat Proof. Given a pullback preserving functor F : B ! C , the homomorphism Spn(F) : Spn(B ) ! Sp... |

98 |
Calculus of fractions and homotopy theory
- Gabriel, Zisman
- 1967
(Show Context)
Citation Context ...-category we refer to [Kel89]. The reader unfamiliar with this notion at the abstract level might think of it as the 2-categorical generalisation of the familiar category of fractions construction of =-=[G-=-Z67]. We now want to analyse whether M would be an equivalence given the coinverter property of ( M ) 0 . We would also like an explicit description of the coinverter without having to indulge in c... |

76 | Higher dimensional algebra III: n-categories and the algebra of opetopes
- Baez, Dolan
- 1998
(Show Context)
Citation Context ...ders contractible operads to organise the `spaces' of coherent operations, so that weak n-categories amount to algebras for such operads. The approach most relevant to our present concerns is that of =-=[BD98-=-]. Its most prominent feature is that the operations of composition are not given explicitly as structure, but rather specied by a universal property . This is, in 3 principle, the most attractive app... |

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

50 | des notions de n-catégorie et n-groupoïde non strictes via des ensembles multi-simpliciaux. K-Theory 16 - Sur - 1999 |

44 |
Elementary observations on 2-categorical limits
- Kelly
- 1989
(Show Context)
Citation Context ... TM q // TM [ 1 ] 43 in Multicat and then extend it, if necessary, by turning TM [ 1 ] into a strict representable multicategory. For the notion of coinverter in a 2-category we refer to [Kel89]. The reader unfamiliar with this notion at the abstract level might think of it as the 2-categorical generalisation of the familiar category of fractions construction of [GZ67]. We now want to analys... |

35 | Monads for which structures are adjoint to units
- Kock
(Show Context)
Citation Context ... M // TM M to obtain 0 : TM ! M which is left adjoint to M , i.e. s M (" 1 ) 0 ; id : 0 a M . Notice that : TM ! M preserves universal arrows as it is a left adjoint, cf. Corollary 8.13 and [K=-=oc95]-=-. 2 10.2 Representable multicategories equivalent to strict ones We aim to prove now the main coherence result for representable multicategories, namely that every such is equivalent to a strict one. ... |

34 | Limits indexed by category-valued 2-functors - Street - 1976 |

31 | Yoneda structures on 2-categories - Street, Walters - 1978 |

28 | Fibrations and Yoneda’s lemma in a 2-category - Street |

20 |
T-catégories (catégories dans un triple), Cahiers de Topologie et Géométrie Différentielle XII(3
- Burroni
- 1971
(Show Context)
Citation Context ... C 0 (X) = hXi and codomain X , as required for the identity arrow in a multicategory. 2 The above internal characterisation of multicategories was also found independently from the author by Burroni =-=[Bur71]-=- and Leinster [Lei97]. We came up with it as it was essential to our higher-dimensional generalisation, which we will elaborate in a follow-up article (there have been a number of presentations of thi... |

15 |
On weak higherdimensional categories I: Part 1
- Hermida, Makkai, et al.
(Show Context)
Citation Context ...operads, although the opetopes carry no explicit operations themselves). The approach in ibid. just outlined motivated [HMP98a], which in turn initiated the work presented in this paper. There and in =-=[HMP98b]-=-, the authors develop an alternative (substantially simpler) method to set-up what ought to be the above mentioned n-opetopes, that is, the ambient cellular structures required to specify n-category c... |

15 | Multicategories revisited - Lambek - 1989 |

12 |
On clubs and doctrines
- Kelly
(Show Context)
Citation Context ...nd innite presentations. This innite presentation of coherent structures is the point of view adopted in homotopical algebra, where they are construed as algebras for operads cf. [Bat98b]. See also [K=-=el74]-=- and the references therein for an elaborated explanation of these issues. 9.2 Relating monoidal categories and representable multicategories Having outlined the correspondence between thesnite and in... |

12 |
Categories ´ Fibrees ´ et Descente
- Grothendieck
- 1971
(Show Context)
Citation Context ...7 A The functoriality of the Spn( ) construction 50 1 Introduction Among his vast seminal body of work, Grothendieck established a paradigm we might call coherence via universality . He introduced in =-=[Gro71]-=- the notion of fibration, a functor p : E!B characterised by the existence of cartesian liftings for any pair (X 2 E ; u : I!pX) in B . Here we have a strict structure, namely the category E with stri... |

10 | Computads for finitary monads on globular sets, Higher category theory - Batanin - 1997 |

8 |
Higher dimensional multigraphs
- Hermida, Makkai, et al.
- 1998
(Show Context)
Citation Context ...iate) lower dimension designated as codomain (n-opetopes are defined in terms of operads, although the opetopes carry no explicit operations themselves). The approach in ibid. just outlined motivated =-=[HMP98a]-=-, which in turn initiated the work presented in this paper. There and in [HMP98b], the authors develop an alternative (substantially simpler) method to set-up what ought to be the above mentioned n-op... |

8 |
Simply connected limits
- Par'e
- 1990
(Show Context)
Citation Context ...cks Proof. Universal arrows in m Spn(C ) correspond to limit cones. Hence m Spn(C ) i C admits limits of such diagrams. But these diagrams aresnite simply connected , and Pare's characterisation in [P=-=ar90]-=- shows that such diagrams are precisely the ones whose limits can be constructed by pullbacks. 2 It is clear that the bicategory associated to the representable multicategory m Spn(C ) is non other th... |

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

4 |
Deductive systems and categories II. In Category theory, homology theory and their applications I
- Lambek
- 1968
(Show Context)
Citation Context ...ebra coherence theorem: coherence theorem: fibration split fibration representable multicategory strict representable multicategory 2 Multicategories The notion of multicategory was introduced in [L=-=am69]-=- (see also [Lam89, Lin71]) as a framework for a syntactic calculus. A multicategory can be seen as an algebraic structure which models a (restricted kind of) many-sorted algebraic theory: brie y put, ... |

3 | V-category and V-graph - Wolff - 1974 |

2 |
Handbook of Algebra, volume I, chapter Categorical Structues
- Street
- 1996
(Show Context)
Citation Context ...gth. It is convenient then to regard the arrows of CG as labellings of those of C1; the latter give the `shapes' of the former. Evidently, the shape of a sequence is simply its length. As observed in =-=[Str96]-=-, we can characterise a free category C on a graph by the existence of a functor l : C ! C1 with a `unique lifting of decompositions' property. We will reproduce this observation in the context of mul... |

2 |
The petit topos of globular sets. to appear in
- Street
- 1999
(Show Context)
Citation Context ...lgebras construction, and his denition does not apply to obtain the 2-category of internal categories in a direct way. Street has recently elaborated an alternative version to sort out this diculty [S=-=tr99]-=- (see also Remark 6.4). We will address this issue in x6.1. 4 Multicategories revisited We now proceed to give a monadic definition of multicategories in the style of x3 above. The crucial point is th... |

1 | Computads for monads on globular sets - Batanin - 1998 |

1 |
T-categories. Cahiers Topologie Geom. Dierentielle Categoriques
- Burroni
- 1971
(Show Context)
Citation Context ... C0 (X) = hXi and codomain X, as required for the identity arrow in a multicategory. 2 The above internal characterisation of multicategories was also found independently from the author by Burroni [=-=Bur71]-=- and Leinster [Lei97]. We came up with it as it was essential to our higher-dimensional generalisation, which we will elaborate in a follow-up article (there have been a number of presentations of thi... |

1 |
Categories et descente
- Grothendieck
- 1971
(Show Context)
Citation Context ...7 A The functoriality of the Spn( ) construction 49 1 Introduction Among his vast seminal body of work, Grothendieck established a paradigm we might call coherence via universality . He introduced in =-=[Gro71]-=- the notion ofsbration, a functor p : E ! B characterised by the existence of cartesian liftings for any pair (X 2 E ; u : I ! pX) in B . Here we have a strict structure, namely the category E with st... |

1 |
Spans and higher-dimensional multicategories. notes from talks at CT97 (Vancouver) and AMS meeting (Montreal) available (in slide form) at http://www.math.mcgill.ca/ hermida/n-cats
- Hermida
- 1997
(Show Context)
Citation Context ...p with it as it was essential to our higher-dimensional generalisation, which we will elaborate in a follow-up article (there have been a number of presentations of this higher-dimensional version cf.=-=[Her97]-=-). 5 Free multicategories and trees In order to aid the visualisation of multicategories and computations in them, we give an explicit account of free multicategories (in Set) in terms of finite trees... |

1 | Disks, duality and -categories. preprint of talk delivered at A.M.S. meeting - Joyal - 1997 |

1 |
General operads and multicategories. available at http://www.dpmms.cam.ac.uk/~leinster
- Leinster
- 1997
(Show Context)
Citation Context ...odomain X, as required for the identity arrow in a multicategory. 2 The above internal characterisation of multicategories was also found independently from the author by Burroni [Bur71] and Leinster =-=[Lei97]-=-. We came up with it as it was essential to our higher-dimensional generalisation, which we will elaborate in a follow-up article (there have been a number of presentations of this higher-dimensional ... |

1 | The multilinear Yoneda lemmas - Linton - 1971 |

1 |
On the definition of weak ncategory
- Hermida, Makkai, et al.
- 1998
(Show Context)
Citation Context ...iate) lower dimension designated as codomain (n-opetopes are defined in terms of operads, although the opetopes carry no explicit operations themselves). The approach in ibid. just outlined motivated =-=[HMP98b]-=-, which in turn initiated the work presented in this paper. There and in [HMP98a], the authors develop an alternative (substantially simpler) method to set-up what ought to be the above mentioned n-op... |

1 |
General operads and multicategories. preprint available at http://www.dpmms.cam.ac.uk/ leinster
- Leinster
- 1997
(Show Context)
Citation Context ...domain X , as required for the identity arrow in a multicategory. 2 The above internal characterisation of multicategories was also found independently from the author by Burroni [Bur71] and Leinster =-=[Lei97]-=-. We came up with it as it was essential to our higher-dimensional generalisation, which we will elaborate in a follow-up article (there have been a number of presentations of this higher-dimensional ... |

1 |
The formal theory of monads with extended 2-cells. unpublished manuscript
- Street
- 1999
(Show Context)
Citation Context ...bras construction, and his definition does not apply to obtain the 2-category of internal categories in a direct way. Street has recently elaborated an alternative version to sort out this difficulty =-=[Str99]-=- (see also Remark 6.4). We will address these issues in x6.1. 4 Multicategories revisited We now proceed to give a monadic definition of multicategories in the style of x3 above. The crucial point is ... |