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.
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.
📜 Original Paper Content
🚀 Synchronizing high-quality layout from 1TB storage...