Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
A cartesian object in a 2-category with finite 2-products is an object such that the diagonal morphism and the unique map have right adjoints.
For example, a cartesian object in Cat is precisely a category with finite products.
Any category with finite products becomes a symmetric monoidal category by making a choice of products. The symmetric monoidal structure is canonical in the sense that for any other choice of products, there is a canonical isomorphism between the two symmetric monoidal categories. Specifically, there is an invertible strong symmetric monoidal functor whose underlying functor is the identity and whose structure maps are given by the universal property of products.
This fact generalizes to cartesian objects:
A cartesian object in a 2-category with finite 2-products is a symmetric pseudomonoid in in a canonical way.
The idea of the proof is to reduce to the case of Cat using the 2-categorical Yoneda embedding.
Let be a cartesian object in , and make a choice of right adjoints to the diagonal and terminal maps. Because 2-functors preserve adjunctions and the 2-Yoneda embedding , preserves 2-products, is a cartesian object with a choice of right adjoints in the 2-category of 2-presheaves on . In particular, since 2-products in this 2-category are computed pointwise, is a cartesian object with a choice of right adjoints in Cat, and hence has the structure of a symmetric pseudomonoid in Cat, for each object of . Then, by similar reasoning, is a symmetric pseudomonoid in the 2-presheaf 2-category. Finally, because the 2-Yoneda embedding is locally fully faithful and in particular locally reflects isomorphisms, is a symmetric pseudomonoid in .
For any other choice of rights adjoints for the cartesian object , there are unique invertible 2-cells between them that commute with the units and counits of the adjunctions. Threading these through the 2-Yoneda embedding as before, the 2-cells define the comparison iso-cells of a strong morphism of symmetric pseudomonoids whose underlying morphism between the carrier objects is the identity.
Last revised on September 10, 2024 at 15:50:45. See the history of this page for a list of all contributions to it.