Bicategories of spans as cartesian bicategories

Autor: Lack, Stephen, Walters, R. F. C., Wood, R. J.
Rok vydání: 2009
Předmět:
Zdroj: Theory and Applications of Categories, Vol. 24, No. 1, 2010, pp. 1{24
Druh dokumentu: Working Paper
Popis: 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.
Databáze: arXiv