Amnestic functor
From Infogalactic: the planetary knowledge core
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.
<templatestyles src="Asbox/styles.css"></templatestyles>
