Category:Compactification (mathematics)