Un funtor formula_1 es pleno si la función flecha de T es sobreyectiva para cada par de objetos en formula_2.