Actualmente estoy pasando por Lang, Álgebra, y he llegado a través de una definición de que un amigo me había advertido que finalmente me lo encuentro y dijo que Lang había definido incorrectamente. Luego citó la 'Terminología' sección de esta página: https://en.wikipedia.org/wiki/Monomorphism.
Lang definición es la siguiente:
"Si un homomorphism $u: N \rightarrow M$ es tal que $$0 \rightarrow N \xrightarrow{u} M$$ es exacta, entonces podemos decir que el $u$ es un monomorphism o una incrustación. Dualmente, si $$N \xrightarrow{u} M \rightarrow 0$$ es exacta, se dice que el $u$ es un epimorphism."
A mí me parece que esto es en realidad la definición de la misma como la que está actualmente en uso hoy en día en la categoría de teoría. Es mi amigo incorrecta y misremembering la fuente de la definición incorrecta, o se Lang definición de hecho incorrecta?
