A universal property of the monoidal 2-category of cospans of ordinals and surjections
Matı́as Menni, Nicoletta Sabadini, Robert F. C. Walters
Abstract
Open-access reader
Matı́as Menni, Nicoletta Sabadini, Robert F. C. Walters
Abstract
Open-access reader
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.N. Sabadini and R. F. C. Walters are funded by Universitá dell'Insubria and the
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.N. Sabadini and R. F. C. Walters are funded by Universitá dell'Insubria and the
Key concepts: Enriched category, 2-category, Closed monoidal category, Symmetric monoidal category, Mathematics, Monoidal category, Higher category theory, Pure mathematics