TY - RPRT TI - A type B analogue of the category of finite sets with surjections AU - Nicholas Proudfoot PY - 2020 UR - https://arxiv.org/abs/2011.01313 ID - 2011.01313 ER -