User:Leigh.Samphier/Topology/Definition:Category of Compact Hausdorff Spaces
Jump to navigation
Jump to search
Definition
The category of compact Haudorff spaces, denoted $\mathbf{KHausTop}$, is defined as follows:
| Objects: | Compact Hausdorff 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$ |
Also see
Sources
Johnsone