TY  - RPRT
TI  - The groupoid of finite sets is biinitial in the 2-category of rig categories
AU  - Josep Elgueta
PY  - 2020
UR  - https://arxiv.org/abs/2004.08684
ID  - 2004.08684
ER  -