Siendo esto verificado para toda flecha "g", formula_36 es un funtor de formula_3 sobre formula_22 y su imagen es casi por definición "v" (se ha definido para ello).