Proudfoot, N. 2022. A Type B Analogue of the Category of Finite Sets with Surjections. The Electronic Journal of Combinatorics. 29, 3 (Aug. 2022), P3.34. DOI:https://doi.org/10.37236/11186.