En Spivak, el libro de geometría diferencial que define un topológico de la inmersión de la $f$ "$f$ es una función continua que a nivel local es uno-uno". En mi limitada experiencia, con la categoría de $\mathsf{Top}$, esto parece como la definición incorrecta, y me preguntaba si alguien de aquí estaban de acuerdo.
No es la definición acorde con la $\mathsf{SM}$ definición de ser "$f$ es un local homeomorphism en su imagen"? Parece extraño pensar que, por ejemplo, cada inyectiva mapa en una indiscreta espacio cae bajo el título de inmersión.
