拟紧对象, 拟分离对象 [拟紧拟分离对象]

定义

意象中, 对象 $X$ 称为拟紧对象是指其任意覆盖存在有限子覆盖, 对象 $X$ 称为拟分离对象是指对任意拟紧对象 $Y,Z$ 以及态射 $Y\to X$, $Z\to X$, 有 $Y\times_X Z$ 为拟紧对象.

例