The groupoid of finite sets is biinitial in the 2-category of rig categories | Publicación