Definition:Category of Topological Spaces

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$

Also see

• Category of Topological Spaces is Category