En matemáticas, un pseudofuntor F es un mapeo entre 2 categorías , o de una categoría a una categoría 2 , que es como un funtor excepto que no se mantiene como igualdades exactas sino solo hasta isomorfismos coherentes . F ( F ∘ gramo ) = F ( F ) ∘ F ( gramo ) {\displaystyle F(f\circ g)=F(f)\circ F(g)} F ( 1 ) = 1 {\ estilo de visualización F (1) = 1}