Denotamos por formula_22 el conjunto de morfismos de tipo formula_23 de formula_3 en formula_25.