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