Amnestic functor

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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

References[edit]