Cartesian Bicategories II

TL;DR

This paper extends the concept of cartesian bicategories from locally ordered bicategories to general bicategories and demonstrates that such bicategories are inherently symmetric monoidal.

Contribution

It generalizes the notion of cartesian bicategories beyond locally ordered cases and establishes their symmetric monoidal structure.

Findings

Cartesian bicategories are extended to general bicategories.

A cartesian bicategory is shown to be a symmetric monoidal bicategory.

Theoretical framework connecting cartesian and symmetric monoidal bicategories.

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.