Category TopPairs

The category of topological pairs contains

1. topological spaces \(X\) with a subspace \(\iota: A \rightarrow X\)
2. morphisms as continuous maps \(f: X \rightarrow X'\) such that \(f[A] \subseteq A'\)