显示从第36版到第37版的更改：补充|远离的|陈ged公司

$\英菲$-类别

想法

术语$\英菲$-类别泛指较高类别维度上没有绑定$n个$他们的$n$-形态.

有两种不同的方式可以更详细地理解这一点：

历史上n个类别(0-,1-,2-,3-,4类，…）继续到“欧米茄类“，有时”$\英菲$-categories”在这个意义上是同义词，泛指较高类别请注意，这个一般概念还没有很好地发展起来，也不是几个现有模型的等价物，但请参阅条目弱ω范畴,弱复杂集和操作主题omega类别.

通过双度对更高类别的类型进行更细粒度的组织更容易理解：（n，r）-类别对于$n=英寸$，因此$（\infty，1）$-类别到目前为止，已经有了一个非常完善的理论和普遍的应用，许多作者提到了这些$（\infty，1）$-类别（又名：准范畴)就这样“$\英菲$-categories”，简而言之（一些作者现在甚至只说“categories”，在这种情况下，用一个同伦理论默认的背景基础）。

就术语而言$（n，r）$-类别，之前的一般概念$\英菲$-类别可以称为$（infty，infty）$-类别

相关条目

• 0类,（0,1）-类别

• 类别

• 2类

• 3类

• n类

• （∞，0）-范畴

• （n，1）-类别

• （∞，1）-范畴,内部（∞，1）-范畴,∞-广群

  （∞，1）范畴的表模型

• （∞，2）-范畴

• （∞，n）-范畴

• （n，r）-类别

• 弱ω范畴

• 异位卵形纲

工具书类

另请参阅参考资料（∞，1）-范畴,（∞，n）-范畴,（n，r）-类别.

通过丰富范畴理论和无限宇宙:

• 艾米丽·里尔,Dominic Verity公司,从无到有的无限范畴理论，高层结构41（2020）[[arXiv:1608.05314](https://arxiv.org/abs/1608.05314),pdf格式,讲座]

打开（∞，1）-类别属于（∞，∞）-类别

依据归纳地和共创性地定义等价物:

• 扎克·戈德索普,同伦理论$（infty，infty）$-作为关于富集的通用不动点的类别，《国际数学研究通告》202322（2023）19592–19640[arXiv:2307.00442](https://arxiv.org/abs/2307.00442),doi:10.1093/imrn/rnad196]

并推广到更高的滑轮/堆叠：

• 扎克·戈德索普,的滑轮$（infty，infty）$-类别[arXiv:2403.069262](https://arxiv.org/abs/2403.06926)]

另请参见

• 费利克斯·卢巴顿，理论和模型$（infty，omega）$-类别[arXiv:2307.11931](https://arxiv.org/abs/2307.11931)]