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.