A universal property of the monoidal 2-category of cospans of ordinals and surjections. Menni, M.; Sabadini, N.; Walters, R.F.C. — 2007 Theory and Applications of Categories [electronic only]