位相空間の圏

数学の一分野である圏論における**位相空間の圏**（いそうくうかんのけん、） あるいは \mathcal{T}\!\!op は、位相空間を対象とし、連続写像を射とする圏を言う。ただし、しばしば対象や射を特定のものに制限したり適当なものに取り換えたりするので注意が必要である（例えば、対象はしばしばと仮定する）。これが圏を成すことは、二つの連続写像の合成がふたたび連続となることによる。圏  および位相的性質を圏論の手法を用いて研究する分野を**圏論的位相空間論** (*categorical topology*) と言う。

**注意**: 記号  を位相多様体と連続写像の圏の意味で用いる文献があるので注意が必要である。必要ならば  や  などと書けば混乱は避けられる。

## 具体圏として
よく知られた圏の御多分に漏れず、位相空間の圏  はである（すなわち、対象が集合に構造（今の場合位相）を入れたものによって与えられ、なおかつ射はその構造を保つ写像となっている）。従って、集合の圏への自然な  が、各位相空間にその台集合を対応させ、各連続写像に台となる写像を対応させるものとして存在する。

この忘却函手  は左随伴  として各集合に離散位相を入れる（このとき任意の写像は離散空間上定義されることから自動的に連続になる）函手を持ち、また右随伴  は各集合の密着位相を入れる（このとき密着空間値の写像は必ず連続になる）函手で与えられる。実は両函手とも  の右逆である（すなわち  と  はともに  の恒等函手に等しい）。さらに言えば、離散空間の間の写像あるいは密着空間の間の写像は必ず連続となるから、両函手とも  から  へのを与える。

具体圏としての  は**ファイバー完備**、すなわち与えられた集合  上に可能な（ の上にある  のファイバーと呼ぶ）は包含関係を順序として完備束を成す。このファイバーの最大元は  上の離散位相であり、最小元は密着位相である。

具体圏としての  はと呼ばれるところのもののモデルである。位相圏は任意の構造化された始域 (structured source)  が一意な始持ち上げ (initial lift)  を持つという事実によって特徴づけられる。 において始持ち上げは、始域にを入れることで得られる。位相圏は多くの性質（例えばファイバー完備、離散函手および密着函手、極限の一意な持ち上げなど）を  と共有している。

## 極限と余極限
位相空間の圏  は完備かつ余完備、すなわち任意の小さい極限と余極限がともに  内に存在する。実は忘却函手  は極限および余極限の何れにも一意に持ち上げられ、それらを保つ。従って  における（余）極限は  における（余）極限に適当な位相を入れることによって得られる。

具体的には、 は  における図式として、 が  に落とした図式  の極限であるとき、 において対応する  の極限は  に を入れることで得られる。これと双対的に、 における余極限を得るには、それに対応する  の余極限にを入れればよい。

多くの代数学的な圏と異なり、忘却函手  は極限を創出したり反映したりしない。これは典型的には  における普遍を被覆する  の非普遍錐があることによる。

 における極限および余極限の例を挙げる:

* 位相空間と見なした空集合は  の始対象であり、任意の単集合は終対象である。ゆえに  には零対象は存在しない。
*  における圏論的直積は、台集合の集合論的直積に直積位相を入れたもので与えられる。圏論的直和は位相空間の位相的直和で与えられる。
*  における射の対の等化子は、集合論的な等化子に相対位相を入れたもので与えられる。双対的に、余等化子は集合論的余等化子に商位相を入れたもので与えられる。
*  における直極限および逆極限は、それぞれ集合論的な直極限および逆極限にそれぞれ終位相及び始位相を入れればよい。
*  は  におけるの例である。

## その他の性質
*  における単型射（圏論的単射）は単射連続写像で与えられ、全型射（圏論的全射）は全射連続写像、同型射は同相写像で与えられる（双射連続写像は双型射だが同型射でないことに注意）。
* 極値的単型射 (extremal monomorphism) は（同型を除いて）部分位相空間の埋め込みであり、任意の極値的単型射は正則射 (regular morphism) である。
* 極値的全型射 (extremal epimorphism) は（本質的に）商写像であり、任意の極値的全型射は正則射である。
* 分裂単型射は（本質的に）の全空間 (ambient space) への包含写像である。
* 分裂全型射は（同型を除いて）空間からその引込みの空間への連続な上への写像（集合論的全射）である。
*  には零射は存在せず、特に  は前加法圏とならない。
*  はデカルト閉圏でない（したがってトポスにもならない）。これは任意の位相空間に対する指数対象がないことによる。

## 他の圏との関係性
* 点付き位相空間  は  上のである。 
*   は位相空間を対象とし、連続写像のホモトピー同値類を射とする圏である。これは  のになる。先の例と同様に点付きホモトピー圏  も考えられる。
*  は重要な充満部分圏としてハウスドルフ空間の圏  を含む。この部分圏で付与される構造はより多くの全型射を許すようにするものである。実は、この部分圏における全型射はちょうど、その像が終域において稠密となるような射になっている。つまりこの圏における全型射（圏論的全射）は上への写像（集合論的全射）となることを要しない。

## 参考文献
* Herrlich, Horst: *Topologische Reflexionen und Coreflexionen*. Springer Lecture Notes in Mathematics 78 (1968).
* Herrlich, Horst: *Categorical topology 1971–1981*. In: General Topology and its Relations to Modern Analysis and Algebra 5, Heldermann Verlag 1983, pp.&nbsp;279–383.
* Herrlich, Horst & Strecker, George E.: Categorical Topology – its origins, as exemplified by the unfolding of the theory of topological reflections and coreflections before 1971. In: Handbook of the History of General Topology (eds. C.E.Aull & R. Lowen), Kluwer Acad. Publ. vol 1 (1997) pp.&nbsp;255–341.
* Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). ''Abstract and Concrete Categories'' (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition).

## 外部リンク
*