Category of topological spaces with proper maps

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


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