完全写像をpullbackで記述する，圏を知らぬ私が．

コンパクトネス 完全正則空間 固有写像 位相空間 数学 断片ではないもの