Todo morfismo de "A" a "B" en la categoría C induce un morfismo de formula_2 en formula_3.