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