A type B analogue of the category of finite sets with surjections - Nicholas Proudfoot (2020)