Isomorphism (source code)

= Isomorphism
{wiki}

An isomorphism is a <morphism> that has a two-sided inverse. Two objects are isomorphic when an isomorphism exists between them.