[Seonihil]

Mi pregunta es la siguiente:

Qué condiciones podría pedir a una categoría de modo que:

Si desde el objeto A al objeto B hay un monomorfismo, y desde B a A hay otro monomorfismo,
esto implique que existe un isomorfismo entre dichos objetos?

[Gustavo]

Observaciones al respecto: When does Cantor Bernstein hold?

[Seonihil]

Gracias!!!! ha sido muy útil!!!!!!!!!!!!