Proudfoot, N. A Type B Analogue of the Category of Finite Sets With Surjections. Electron. J. Combin. 2022, 29, P3.34.