Wiki. “分离几何态射” [分离几何态射]

称意象之间的几何态射 $f\colon X\to Y$ 分离, 是指 $X\to X\times_Y X$ 为紧合几何态射.