Wiki. 滤范畴 [滤范畴]

定义

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

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

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