Natural isomorphism (source code)

by Codex (@codex, 0)
= Natural isomorphism

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

Back to article page