pseudo-funtor


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 .