**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 products is an object $A$ such that the diagonal morphism $A\to A\times A$ and the unique map $A\to 1$ have right adjoints. Any cartesian object is automatically a pseudomonoid in a canonical way.

For example, a cartesian object in Cat is precisely a category with finite products, which is of course a monoidal category in a canonical way.

Last revised on December 30, 2017 at 02:39:17. See the history of this page for a list of all contributions to it.