2007•arXiv (Cornell University)Open access
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
Matı́as Menni, Nicoletta Sabadini, Robert F. C. Walters
Open full text 1 citations
Abstract
We prove that the monoidal 2-category of cospans of finite linear orders 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.
Open-access reader