En el caso en el que existan dos morfismos formula_17 y formula_24 cumpliendo que formula_25, diremos que el morfismo formula_1 tiene una "inversa a izquierda", o, equivalentemente, que es una sección; mientras que el morfismo formula_27 tiene una "inversa a derecha", o, equivalentemente, que es una retracción.