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.
http://www.tac.mta.ca/tac/volumes/19/6/19-06.dvi
http://www.tac.mta.ca/tac/volumes/19/6/19-06.ps
http://www.tac.mta.ca/tac/volumes/19/6/19-06.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/19/6/19-06.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/19/6/19-06.ps