n实验室有限数量（变化）

让我们用元素来识别有限数$\mathbb{N}$.

$\mathbb{N}$可以制作成类别 $FNumb公司$具有家庭成员 $FNumb[n，p]=\{\bullet\}$如果$n\le p公司$和$FNumb[n，p]=\空集$否则。

基数函子

写入$MonoF集$对于宽子范畴属于$FSet公司$对象有限集和形态注入。

然后我们有基数函子$|.|: 单声道集\右箭头FNumb$它将其元素数与每个有限集相关联。

此函子验证以下属性：

• $|A\乘以B|=|A||B类|$
• $|f\times g|=|f||克|$
• $|A\sqcup B|=|A|+|B|$
• $|f\sqcup g|=|f|+|g|$
• $|\空集|=0$