Es decir un funtor "F" de una categoría "C" a una categoría "D" es pleno si, para cada par de objetos "X" y "Y" en "C" y cada morfismo "h" con la fuente "FX" y el blanco "FY" en "D", existe un "f" de "X" a "Y" tal que "F"("f") = "h" en "D".