2 citations · 3 across the 2 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2007★ 2 cited
Calculating Colimits Compositionally
R. Rosebrugh, N. Sabadini, R. F. C. Walters
We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regula…
math.CT2007★ 1 cited
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
M. Menni, N. Sabadini, R. F. C. Walters
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 stru…