N. Proudfoot, “A Type B Analogue of the Category of Finite Sets with Surjections”, Electron. J. Combin., vol. 29, no. 3, p. P3.34, Aug. 2022.