Funtor pleno
De Wikipedia, la enciclopedia libre
En la teoría de categorías, un funtor pleno es un funtor que es sobreyectivo cuando está restringido a cada conjunto de morfismos con un dominio (fuente) y un codominio (blanco) dados. 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.
Un funtor 
es pleno si la función flecha de T es sobreyectiva para cada par de objetos en 
.
Esto es, para cada par de objetos 
,
la "función flecha" 
de T:
dada por 
es una sobreyección.
