Category of pairs of topological space and subspace