Un funtor formula_1 es fiel si la función flecha de formula_2 es inyectiva para todo par de objetos en la categoría formula_3.