Cartesian Bicategories II
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 in corpus (8)
- Infinite loop spaces, and coherence for symmetric monoidal bicategories
- A skew-duoidal Eckmann-Hilton argument and quantum categories
- Open Diagrams via Coend Calculus
- Linear Logic without Units
- Enriched monoidal categories I: centers
- A Framework for Universality in Physics, Computer Science, and Beyond
- Frobenius and commutative pseudomonoids in the bicategory of spans
- Cartesian double theories: A double-categorical framework for categorical doctrines