加载中…
Let be the groupoid of finite sets and bijections between them equipped with the canonical symmetric rig category structure given by the disjoint union and the cartesian product of finite sets. We prove that the category (in fact, groupoid) of endomorphisms of is equivalent to the terminal category, thus providing some evidence that is the right categorical analog of the commutative rig of nonnegative integers. This is shown using a particular semistrict skeletal version of for which the endomorphisms can be described very explicitly.

生成讲解博客的中文版本

生成AI智能校验的中文版本