Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore object and every left adjoint arrow is comonadic.
|Number of pages||24|
|Journal||Theory and Applications of Categories|
|Publication status||Published - 2010|
- Eilenberg-Moore object
- Finite products