In the mathematical field of category theory, an amnestic functor F : A → B is a functor for which A-isomorphism ƒ is an identity whenever Fƒ is an identity.
References
Amnestic functor Wikipedia(Text) CC BY-SA
In the mathematical field of category theory, an amnestic functor F : A → B is a functor for which A-isomorphism ƒ is an identity whenever Fƒ is an identity.