Bicategories of spans as cartesian bicategories

Stephen Lack, R.F.C. Walters, and R.J. Wood

Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore object and every left adjoint arrow is comonadic.

Keywords: bicategory, finite products, discrete, comonad, Eilenberg-Moore object

2000 MSC: 18A25

Theory and Applications of Categories, Vol. 24, 2010, No. 1, pp 1-24.

TAC Home