¿Cómo se llama un objeto $X$ para que cada monomorfismo $i : X \hookrightarrow Y$ tiene una retracción (i.e.\ un morfismo $r : Y \rightarrow X$ tal que $r \cdot i = 1_X$)?
Pienso Y como una extensión de X y la retracción como una manera de demostrar que X no tiene extensiones que proporcionan nueva información, en ese sentido X es 'completo' o 'máximo' o 'saturada', pero todos esos términos están sobrecargados, y probablemente la noción ha sido definida en algún lugar en literatura ya. ¿Las referencias? ¡Gracias!
