Wiki. “筛” [筛]
Wiki. “筛” [筛]
对于小范畴 $\mathsf{C}$ 与其中的对象 $c$, 我们称 $\operatorname{Hom}(-,c)$ 的子函子为 $c$ 上的筛 (sieve). 等价地, $c$ 上的筛是指向 $c$ 的一族箭头 $S$, 满足 $f\in S \Rightarrow f\circ g\in S$.
筛可用于定义子对象分类器.
相关概念: Grothendieck 拓扑
对于小范畴 $\mathsf{C}$ 与其中的对象 $c$, 我们称 $\operatorname{Hom}(-,c)$ 的子函子为 $c$ 上的筛 (sieve). 等价地, $c$ 上的筛是指向 $c$ 的一族箭头 $S$, 满足 $f\in S \Rightarrow f\circ g\in S$.
筛可用于定义子对象分类器.
相关概念: Grothendieck 拓扑