Polo xeneral, nuna categoría arbitraria, los isomorfismos definir por ser los morfismos f:X→Y que almiten un morfismo inversu h:Y→X, inversu tantu pola derecha como pola esquierda. Pueden nun ser los morfismos biyectivos, como yá asocede nel casu de los espacios topolóxicos.