In category theory, natural isomorphisms often reveal deep connections between seemingly different constructions.

To prove the two rings are essentially the same, we constructed an explicit ring isomorphism between them.

Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.