Misplaced Pages

Amnestic functor

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

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 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 d 1 {\displaystyle d_{1}} and d 2 {\displaystyle d_{2}} are equivalent metrics on a space X {\displaystyle X} then id : ( X , d 1 ) ( X , d 2 ) {\displaystyle \operatorname {id} \colon (X,d_{1})\to (X,d_{2})} is an isomorphism that covers the identity, but is not an identity morphism (its domain and codomain are not equal).

References

Category theory
Key concepts
Key concepts
Universal constructions
Limits
Colimits
Algebraic categories
Constructions on categories
A simple triangular commutative diagram
Higher category theory
Key concepts
  • Categorification
  • Enriched category
  • Higher-dimensional algebra
  • Homotopy hypothesis
  • Model category
  • Simplex category
  • String diagram
  • Topos
  • n-categories
    Weak n-categories
    Strict n-categories
    Categorified concepts


    Stub icon

    This category theory-related article is a stub. You can help Misplaced Pages by expanding it.

    Categories: