Abstract
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore object and every left adjoint arrow is comonadic.
| Original language | English |
|---|---|
| Pages (from-to) | 1-24 |
| Number of pages | 24 |
| Journal | Theory and Applications of Categories |
| Volume | 24 |
| Publication status | Published - 2010 |
| Externally published | Yes |
Keywords
- Bicategory
- Comonad
- Discrete
- Eilenberg-Moore object
- Finite products