Categorías concretas $A$ llevar un olvidadizo functor $U:A\rightarrow Set$, cuya izquierda adjunto, si es que existe es el functor.
Hay otros olvidadizo functors como $U':Ass\rightarrow Vect$ cuya izquierda adjunto es el libre fucntor que produce el libre tensor de álgebra.
A partir de esto, uno podría caracterizar el olvido en el contexto de una expresión algebraica categoría como la colocación de una o más operaciones, por lo que se pone en los desplazamientos gráfico de functors cuyo nodo principal es que algebraicas categoría y cuyo nodo inferior es $Set$ donde todas las operaciones se han olvidado.
Sin embargo, un functor $Top\rightarrow Set$ es considerado también como olvidadizo, a pesar de ser un "geométrica" de la categoría, en lugar de un algrebraic uno. Pero uno observa que se tiene de las operaciones de cumplir, unión, complemento para estas operaciones pueden ser olvidado olvidándose de cumplir y de la unión da la olvidadizo functor $Top\rightarrow SLat$, de espacios topológicos (unión) semilattices.
Pero, uno no suele pensar en $Top$ como una expresión algebraica de la categoría con su considerado como el geométrico.
Además contamos con un forgetfull functor $Diff\rightarrow Top$, lo que parece ser esencialmente geométrica en la que no estamos olvidando 'algebraica de la estructura.
Hay una general y específico de la noción de olvido que cubre tanto algebraicas y geométricas de los sentidos? Presumiblemente, esto puede suceder cuando tenemos una noción de estructura geométrica, de modo que métricas, topológicas y diferenciable de la estructura son instancias de estos; y luego tenemos el mismo patrón general se mencionó anteriormente - los desplazamientos gráfico de olvidos.
