n实验室PrCat公司

目录

上下文

类别的类别

压缩对象

目录

想法

使用时本地可呈现类别，人们通常只对上极限-保存仿函数因此（通过伴随函子定理)相当于左伴随函子。

因此，人们认为非常大的类别 $PrCat公司$ 其对象是本地可呈现类别，其形态是左伴随函子.

这个的模拟

在里面（∞，1）-范畴理论是Pr（∞，1）类别;
在里面模型类别-理论是Ho（CombModCat）.

相关概念

$类别{Adj}$

本地可展示类别： Cococomplete公司可能-大类别生成于过滤性结肠炎通过小的发电机在下面小的关系等效地，可接近的反射定位属于自由共完成.无障碍类别省略了协同完整性要求；地形添加了左侧精确本地化。

$\幻影{A}$ （n，r）-类别 $\幻影{A}$	$\幻影{A}$ 地形 $\幻影{A}$	本地可展示	局部有限压力	局部化定理	自由共完成	可接近的
（0,1）-范畴理论	区域设置	超晶格	代数格	波斯特定理	动力装置	偏序集
范畴理论	地形	本地可呈现类别	局部有限可表示范畴	阿达梅克·罗西克定理	预切类别	可访问类别
模型范畴理论	模型拓扑	组合模型类别		杜格尔定理	全球的简单预升模型结构	不适用
（∞，1）范畴理论	（∞，1）-拓扑	局部可表示（∞，1）-范畴		辛普森定理	（∞，1）-预处理（∞、1）-范畴	可访问（∞，1）-类

上次修订时间：2023年5月5日08:38:08。请参阅历史获取所有贡献的列表。