Oración 1: en las categorías algebraicas (en concreto, las categorías de variedades en el sentido del álgebra universal), un isomorfismo es lo mismo que un homomorfismo que es biyectivo en los conjuntos subyacentes
Oración 2: hay categorías concretas en las que los morfismos biyectivos no son necesariamente isomorfismos (como la categoría de espacios topológicos)
Conector: sin embargo,
Relación: contrasting
Género: articles