目录

想法

遵循$（n，r）$-类别，a$(0,1)$-类别是一个类别谁的人-物体是（-1）-群胚因此，对于每个一对属于物体 $a、 b条$要么没有态射$a至b$或一个本质上是独一无二的一个。

更详细地说，请记住：

• 一个（n，1）-类别是一个（∞，1）-范畴这样，每hom∞-广群是（n-1）-截断.

• 一0截断 ∞-广群等价于一个集合；

• 一（-1）-截断 ∞-广群是其中之一可收缩的或空的.

因此：

额外的材料、结构、财产

• A类$(0,1)$-具有a结构的类别网站是一个（0,1）-站点：a位置.

• A类$(0,1)$-具有a结构的类别地形是一个（0,1）-地形：a海廷代数.

• A类$(0,1)$-具有a结构的类别格罗森迪克地形是一个格罗森迪克（0,1）-拓扑：a框架或区域设置.

• A类$(0,1)$-类别，它也是广群（即，每个态射都是同构）是一个$(0,0)$-类别（可以认为是$0$-类别或作为$0$-groupoid），它与设置（达到同等水平）或对称过程（直至同构）。

相关概念

• 预订单与（0,1）-类别之间的关系

• （-2）-广群

• （-1）-广群

• 0-广群

• 1-广群

• 2-广群

• 3-广群

• 4-类群

• n-广群

• ∞-广群

• （0,0）-类别

• （1,0）-类别

• （n，0）-类别

• （∞，0）-范畴

• 0类

• 1-类别

• 2类

• 3类

• 4类

• n类

• ∞-类别

• （0,1）-类别

• （1,1）-类别

• （2,1）-类别

• （n，1）-类别

• （∞，1）-范畴

• （1,2）-类别

• （∞，2）-范畴

• （∞，n）-范畴

• （n，r）-类别