単なる集合に離散位相を入れれば位相空間とみなせます。つまり、Setを集合圏、Topを位相空間の圏として、Disc:Set→Top という埋め込み関手があるわけです。埋め込み関手Discの像である圏をDiscとしましょう； Disc = Disc(Set)、Disc⊆Top。圏Topの部分圏で、…