Wiki. “泛闭映射” [泛闭映射]SimplicialCat 定义 称代数簇的映射 $f\colon X\to Y$ 泛闭 (universally closed) 是指对任意基变换 $Y'\to Y$, $f'\colon X\times_Y Y' \to Y'$ 闭.