位相空間の圏
ウィキペディア フリーな encyclopedia
数学の一分野である圏論における位相空間の圏(いそうくうかんのけん、英: category of topological spaces)Top あるいは は、位相空間を対象とし、連続写像を射とする圏を言う。ただし、しばしば対象や射を特定のものに制限したり適当なものに取り換えたりするので注意が必要である(例えば、対象はしばしばコンパクト生成(英語版)と仮定する)。これが圏を成すことは、二つの連続写像の合成がふたたび連続となることによる。圏 Top および位相的性質を圏論の手法を用いて研究する分野を圏論的位相空間論 (categorical topology) と言う。
注意: 記号 Top を位相多様体と連続写像の圏の意味で用いる文献があるので注意が必要である。必要ならば TopSp や TopMan などと書けば混乱は避けられる。