Wiki. “紧合几何态射” [紧合几何态射]

称意象 $\mathcal C$ 为紧意象是指整体截面的直像部分保持子终对象的定向并.

称意象态射 $f\colon \mathcal F\to\mathcal E$ 为紧合的, 是指其为 $\mathcal E$ 上的紧意象. 这个条件可用叠语义表述.