En matemáticas, un pseudofunctor F es una aplicación entre 2-categorías , o de una categoría a una 2-categoría , que es igual que un funtor excepto que y no se cumplen como igualdades exactas sino solo hasta isomorfismos coherentes .
La construcción de Grothendieck asocia a un pseudofunctor una categoría fibrada .
