Amnestic functor

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

"Abstract and Concrete Categories. The Joy of Cats". Jiri Adámek, Horst Herrlich, George E. Strecker.

This article is issued from Wikipedia - version of the 5/5/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.