Cartesian Bicategories II. (arXiv:0708.1921v1 [math.CT])

The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. » Full text »