Wiki. “几何态射的性质” [几何态射的性质]

设 $f\colon \mathcal F\to\mathcal E$ 为几何态射.

名称范畴论定义逻辑定义
开映射$f^*$ 为 Heyting 函子$f^*$ 保持任意量词 $\forall$
嵌入$f_*$ 保持任意量词 $\forall$