Cartesian Bicategories II

2007/08/14 by Carboni, A., Kelly, G. M., Walters, R. F. C +1 · 2 citations
#18D05 #18D10 #Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.0708.1921

Abstract

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.

Cited by

• The binary product in the 2-category of triangular bialgebras and twisted morphisms
• 2-Segal sets and pseudomonoids in the bicategory of spans

Related

• Sequential multicategories
• Constructing symmetric monoidal bicategories
• Cartesian bicategories with choice
• Constructing symmetric monoidal bicategories functorially
• A type theory for cartesian closed bicategories