A universal property of the monoidal 2-category of cospans of finite linear orders and surjections

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/130118We 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.Category TheoryA universal property of the monoidal 2-category of cospans of finite linear orders and surjectionstext