Natural isomorphism

ID: natural-isomorphism

A natural transformation all of whose components are isomorphisms. Their inverses form the inverse natural transformation.

New to topics? Read the docs here!