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