Category talk:Compactification (mathematics)