Proudfoot, Nicholas. 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.