Category of topological spaces

This article is about a particular category
View other particular categories

Definition

The category of topological spaces, denoted $\operatorname {Top}$, is defined as follows:

• Its objects are topological spaces.
• Its morphisms are continuous maps of topological spaces.
• The identity morphism is the identity map.
• Composition of morphisms is defined by function composition.