Definition:Category of Topological Spaces
Jump to navigation
Jump to search
Definition
The category of topological spaces, denoted $\mathbf{Top}$, is defined as follows:
Objects: | Topological Spaces $\struct {X, \tau}$ | |
Morphisms: | Continuous Mapping | |
Composition: | Standard composition of mappings | |
Identity morphisms: | $\operatorname{id}_{\struct {X, \tau} } := \operatorname{id}_X$, the identity mapping on $X$ |