Bicategories of spans as cartesian bicategories
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic.
math.CT↗
arXiv subjects
R. J. Wood
Publications and source records attributed to R. J. Wood.
Cartesian Bicategories II
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.
math.CT↗
Frobenius Objects in Cartesian Bicategories
Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid.
math.CT↗