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 classications 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 classiers) as well
Citations
|
237
|
Categories for the Working Mathematician
– MacLane
- 1971
|
|
117
|
Topos Theory
– Johnstone
- 1977
|
|
58
|
The formal theory of monads
– Street
- 1972
|
|
51
|
Two-dimensional monad theory
– Blackwell, Kelly, et al.
- 1989
|
|
45
|
Monoidal globular categories as a natural environment for the theory of weak n-categories
– Batanin
- 1998
|
|
45
|
Cartesian bicategories i
– Carboni, Walters
- 1987
|
|
39
|
Elementary observations on 2-categorical limits
– Kelly
- 1989
|
|
32
|
Monads for which structures are adjoint to units
– Kock
- 1995
|
|
31
|
Fibered categories and the foundations of naïve category theory
– Bénabou
|
|
31
|
Monoidal bicategories and Hopf algebroids
– Day, Street
- 1997
|
|
22
|
Yoneda structures on 2-categories
– Street, Walters
- 1978
|
|
19
|
Fibrations and Yoneda's lemma in a 2-category
– Street
- 1973
|
|
13
|
Fibrations in bicategories, Cahiers topologie et géométrie différentielle 21
– Street
- 1980
|
|
10
|
The universal property of the multitude of trees
– Batanin, Street
- 1998
|
|
10
|
A general coherence result
– Power
- 1989
|
|
10
|
Distributive laws for pseudomonads, Theory and Applications of Categories 5(5
– Marmolejo
- 1999
|
|
8
|
Distributive laws for pseudomonads
– Marmolejo
- 1999
|
|
7
|
Avoiding the axiom of choice in general category theory
– Makkai
- 1996
|
|
5
|
Some remarks on free monoids in a topos
– Benabou
- 1990
|
|
2
|
Distributeurs et theorie de la forme. Cahiers Topologie Geom. Dierentielle Categoriques
– Bourn, Cordier
- 1980
|
|
2
|
Fribations and Yoneda structure for multicategories
– Hermida
- 1999
|
|
2
|
Handbook of Algebra, volume I, chapter Categorical Structues
– Street
- 1996
|
|
2
|
The petit topos of globular sets. to appear in
– Street
- 1999
|
|
1
|
Iterated monoidal categories. available as math/9808082
– Balteanu, Fiedorowicz, et al.
- 1998
|
|
1
|
Representable multicategories. available at http://www.maths.usyd.edu.au:8000/u//hermida
– Hermida
- 1999
|
|
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
|
|
