TY - JOUR
T1 - Categories enriched on two sides
AU - Kelly, Max
AU - Labella, Anna
AU - Schmitt, Vincent
AU - Street, Ross
PY - 2002/3/8
Y1 - 2002/3/8
N2 - We introduce morphisms V → W of bicategories, more general than the original ones of Bénabou. When V = 1, such a morphism is a category enriched in the bicategory W. Therefore, these morphisms can be regarded as categories enriched in bicategories "on two sides". There is a composition of such enriched categories, leading to a tricategory Caten of a simple kind whose objects are bicategories. It follows that a morphism from V to W in Caten induces a 2-functor V-Cat → W-Cat, while an adjunction between V and W in Caten induces one between the 2-categories V-Cat and W-Cat. Left adjoints in Caten are necessarily homomorphisms in the sense of Bénabou, while right adjoints are not. Convolution appears as the internal hom for a monoidal structure on Caten. The 2-cells of Caten are functors; modules can also be defined, and we examine the structures associated with them.
AB - We introduce morphisms V → W of bicategories, more general than the original ones of Bénabou. When V = 1, such a morphism is a category enriched in the bicategory W. Therefore, these morphisms can be regarded as categories enriched in bicategories "on two sides". There is a composition of such enriched categories, leading to a tricategory Caten of a simple kind whose objects are bicategories. It follows that a morphism from V to W in Caten induces a 2-functor V-Cat → W-Cat, while an adjunction between V and W in Caten induces one between the 2-categories V-Cat and W-Cat. Left adjoints in Caten are necessarily homomorphisms in the sense of Bénabou, while right adjoints are not. Convolution appears as the internal hom for a monoidal structure on Caten. The 2-cells of Caten are functors; modules can also be defined, and we examine the structures associated with them.
UR - http://www.scopus.com/inward/record.url?scp=0037040438&partnerID=8YFLogxK
U2 - 10.1016/S0022-4049(01)00048-2
DO - 10.1016/S0022-4049(01)00048-2
M3 - Article
AN - SCOPUS:0037040438
SN - 0022-4049
VL - 168
SP - 53
EP - 98
JO - Journal of Pure and Applied Algebra
JF - Journal of Pure and Applied Algebra
IS - 1
ER -