Un morfismo formula_1 con formula_5 y formula_6 suele notarse como formula_7.