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

The equivalence between the representable functors was established by exhibiting a natural isomorphism between them.

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