generated at
位相空間の圏Top
対象
全ての位相空間
射
それらの間の連続写像
同型射: 同相写像