Category of topological spaces with proper maps

This article describes a category (in the mathematical sense) whose objects are topological spaces, and whose morphisms are proper maps. In other words, it gives a category structure to the collection of all topological spaces.
View other category structures on topological spaces

Definition

The category of topological spaces with proper maps is defined as follows:

• Its objects are topological spaces
• Its morphisms are proper maps