Difference between revisions of "TOP (category)"
From Maths
(Created page with "{{Stub page|This needs to be fleshed out}} ==Definition== {{M|\mathrm{TOP} }} is the category of all topological spaces, the objects are tuple|tupl...") |
m |
||
Line 11: | Line 11: | ||
{{Topology navbox}} | {{Topology navbox}} | ||
{{Definition|Category Theory|Metric Space}} | {{Definition|Category Theory|Metric Space}} | ||
+ | [[Category:Examples of categories]] | ||
+ | {{Example|Category Theory}} |
Latest revision as of 20:10, 20 February 2016
(Unknown grade)
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
This needs to be fleshed out
Definition
[ilmath]\mathrm{TOP} [/ilmath] is the category of all topological spaces, the objects are tuples of a set [ilmath]X[/ilmath] and a topology [ilmath]\mathcal{J}_X[/ilmath] on [ilmath]X[/ilmath] and the arrows, or morphisms of the category are continuous functions[1]. More explicitly.
- The objects of [ilmath]\mathrm{TOP} [/ilmath] are all topological spaces, [ilmath](X,\mathcal{J}_X)[/ilmath]
- The arrows/morphisms of [ilmath]\mathrm{TOP} [/ilmath] are the continuous functions between spaces.
Discussion
TODO: Discuss as a subcategory of [ilmath]\mathrm{SET} [/ilmath], remember it must first go under the forgetful functor to discard the topological structure and distill it to just sets and mappings
References
|
|