目录

定义

一类别由以下集合组成物体与一起态射在这些对象之间。因此，天真地说，我们可以将对象视为“元素'。

一般来说，在高等范畴理论的对象$（n，r）$-类别是$0$-该结构的维度单元$0$-态射.

示例

• 如果设置被视为离散范畴（没有非平凡的形态）那么这个类别的对象就是集合的元素。

• 在基本广群 $\图_1（X）$的拓扑空间 $X（X）$，对象是$X（X）$.

• 在类别中设置，对象是集合；在里面兽医这些对象是向量空间s；在里面顶部对象是拓扑空间s、 等。

• 如果单纯集合那是一个Kan复合体被视为$\英菲$-广群，那么它的顶点就是它的对象$\英菲$-广群。

• 类似地，如果一个单纯形集准范畴被视为$（\infty，1）$-类别，那么它的顶点就是它的对象$（\infty，1）$-类别。

• 如果球状集合具有严格∞范畴，那么它$0$-细胞是它的对象∞-类别.