Proudfoot N. A Type B Analogue of the Category of Finite Sets with Surjections. Electron. J. Combin. [Internet]. 2022Aug.12 [cited 2026Mar.29];29(3):P3.34. Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v29i3p34