Natural transformation

Natural isomorphism

A natural isomorphism is an isomorphism in a functor category, cat i.e. a natural transformation such that is an isomorphism for all . If such an isomorphism exists we write .

The idea was first proposed in A general theory of natural equivalences, which is also the originating paper of category theory.

See Equivalence of categories

---

tidy | en | sembr