En el campo matemático de la teoría de categorías , un funtor amnésico F : A → B es un funtor para el cual un isomorfismo A - ƒ es una identidad siempre que Fƒ sea una identidad.
Un ejemplo de un funtor que no es amnésico es el funtor olvidadizo Met c → Top de la categoría de espacios métricos con funciones continuas para morfismos a la categoría de espacios topológicos . Si y son métricas equivalentes en un espacio entonces es un isomorfismo que cubre la identidad, pero no es un morfismo identidad (su dominio y codominio no son iguales).
