Cartesian bicategories II

A. Carboni, G.M. Kelly, R.F.C. Walters, and R.J. Wood

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.