>>364 An isomorphism induces an equivalence between one structure with another. You can even give it a equality meaning using univalence axiom.