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 A - isomorfismo ƒ es una identidad siempre que Fƒ es una identidad.
Un ejemplo de un funtor que no es amnésico es el functor olvidadizo Met c → Parte superior 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 luego es un isomorfismo que cubre la identidad, pero no es un morfismo de identidad (su dominio y codominio no son iguales).
Referencias
- "Categorías abstractas y concretas. La alegría de los gatos" . Jiri Adámek, Horst Herrlich, George E. Strecker.