« 单纯百科 Simplopedia

furina

百科. 有限范畴 [有限范畴]

SimplicialCat

反向链接

百科. 有限极限 [有限极限]

SimplicialCat

定义

有限极限是以有限范畴为指标范畴的极限.

百科. 滤范畴 [滤范畴]

SimplicialCat

定义

滤范畴是满足如下等价条件的范畴 $\mathcal C$:

$\mathcal C$ 中所有有限图都有锥;
在 $\mathsf{Set}$ 中, 以 $\mathcal C$ 为指标范畴的余极限与所有有限极限交换.

依惯例, $\infty$-范畴语境下 $\mathsf{Set}$ 改用 $\mathsf{Ani}$.