A universal property of the monoidal 2-category of cospans of ordinals and surjections

M. Menni, N. Sabadini and R. F. C. Walters

We prove that the monoidal 2-category of cospans of ordinals and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition.

Keywords: 2-categories, monoidal categories, structured objects

2000 MSC: 18D5, 18D10, 18D35

Theory and Applications of Categories, Vol. 18, 2007, No. 20, pp 631-653.

http://www.tac.mta.ca/tac/volumes/18/20/18-20.dvi
http://www.tac.mta.ca/tac/volumes/18/20/18-20.ps
http://www.tac.mta.ca/tac/volumes/18/20/18-20.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/20/18-20.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/18/20/18-20.ps

TAC Home