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.

Keywords: bicategory, finite products, monoidal bicategory

2000 MSC: 18A25

Theory and Applications of Categories, Vol. 19, 2008, No. 6, pp 93-124.

TAC Home