Tengo una pregunta bastante sencilla aunque no he podido encontrar la respuesta aquí. ¿Tienen los monomorfismos (epimorfismos) inversos a la izquierda (a la derecha) en la categoría de grupos abelianos? ¿Cómo podemos demostrar este hecho sabiendo que el núcleo (cokernel) debe ser trivial en este caso? También me gustaría recibir el enlace con la prueba.