Amnestic functor

In the mathematical field of category theory, an amnestic functor F : A  B is a functor for which an A-isomorphism ƒ is an identity whenever Fƒ is an identity.

An example of a functor which is not amnestic is the forgetful functor MetcTop from the category of metric spaces with continuous functions for morphisms to the category of topological spaces. If and are equivalent metrics on a space then is an isomorphism that covers the identity, but is not an identity morphism (its domain and codomain are not equal).

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.