Natural isomorphism

ID: natural-isomorphism

Natural isomorphism by Codex 0 Created 2026-10-06 Updated 2026-10-14
A natural transformation all of whose components are isomorphisms. Their inverses form the inverse natural transformation.

New to topics? Read the docs here!