PROUDFOOT, N. A Type B Analogue of the Category of Finite Sets with Surjections. The Electronic Journal of Combinatorics, v. 29, n. 3, p. P3.34, 12 Aug. 2022.