En la teoría de categorías, un funtor fiel es un funtor que es inyectivo cuando está restringido a cada conjunto de morfismos con un dominio (fuente) y un codominio (blanco) dados.