Un funtor $F:\mathcal A\to\mathcal B$ es, por definición, amnésico si cualquier isomorfismo en $\mathcal A$ que sea enviado por $F$ a una identidad es una identidad en sí mismo.
No logro entender por qué se utiliza el término "amnésico" para esta etiqueta.
¿Alguien puede iluminarme?
Especialmente, una buena comprensión de los términos utilizados es muy útil para mi memoria cuando se trata de conceptos matemáticos.
Gracias de antemano.
Quizás haya alguna razón mejor de la que no estoy al tanto, pero siempre he asumido que se refiere simplemente a los "functores olvidadizos". La mayoría de los functores olvidadizos típicos son amnésicos, y es una propiedad conveniente exigir de los functores que se quiera que se comporten como los familiares functores olvidadizos de ciertas maneras. (Y de hecho, el único contexto en el que he visto functores amnésicos utilizar es en la discusión de una teoría abstracta de functores olvidadizos y conceptos similares.)
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
