Bicategories of spans as cartesian bicategories
Category Theory
2010-09-10 v2
Abstract
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.
Keywords
Cite
@article{arxiv.0910.2996,
title = {Bicategories of spans as cartesian bicategories},
author = {Stephen Lack and R. F. C. Walters and R. J. Wood},
journal= {arXiv preprint arXiv:0910.2996},
year = {2010}
}