跳至內容

拓撲空間範疇

維基百科,自由的百科全書

數學裏,拓撲空間範疇(通常標記為Top)是一個範疇,其物件為拓撲空間態射連續函數。拓撲空間範疇符合範疇的公理,因為兩個連續函數的複合函數依然是連續的。研究拓撲空間範疇及運用範疇論的技術來研究拓撲空間的性質之類的學科稱為「範疇拓撲學(categorical topology)」。

注意,有些作者會將Top這個標記用來指物件為拓撲流形,態射為連續函數的範疇。

作為具體範疇

[編輯]

如同許多範疇一般,範疇Top也是個具體範疇,意指其物件為有附加結構的集合(即拓撲),且其態射為維持此一結構的函數。自然地存在一可遺函子

U : TopSet(其中Set集合範疇),將每個拓撲空間指派給同個拓撲空間內的集合,每個連續函數給為同個連續函數的函數

可遺函子U有一個左伴隨函子

D : SetTop(將每個集合加上離散拓撲

及一個右伴隨函子

I : SetTop(將每個集合加上密著拓撲)。實際上,上述兩個函子皆對U為右可逆(即UDUI都等於在Set上的單位函子)。甚至,因為任何一個在離散或密著空間之間的函數皆為連續的,所有這兩個函子都給出了由Set映射至Top完全內嵌

具體範疇Top也是「纖維完全的」,意即由在一給定集合X上的所有拓撲所組成的範疇(稱為UX上的纖維)會形成一個依包含關係排序的完全格。這個纖纖的最大元素X上的離散拓撲,而最小元素則為密著拓撲。

參考資料

[編輯]
  • 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. 279 - 383.
  • Herrlich, Horst & Strecker, George E.: Categorical Topology - its origins, as examplified 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. 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).