Desde el punto de vista de la teoría de categorías, dos espacios que son homeomorfos son iguales topológicamente hablando.