Amnestic functor
Encyclopedia
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.
Category theory
Category theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
, an amnestic functor F : A → B is a functor
Functor
In category theory, a branch of mathematics, a functor is a special type of mapping between categories. Functors can be thought of as homomorphisms between categories, or morphisms when in the category of small categories....
for which A-isomorphism ƒ is an identity
Identity (mathematics)
In mathematics, the term identity has several different important meanings:*An identity is a relation which is tautologically true. This means that whatever the number or value may be, the answer stays the same. For example, algebraically, this occurs if an equation is satisfied for all values of...
whenever Fƒ is an identity.