An isomorphism of group representations is a morphism of group representations that happens to be bijective.
Wikidata ID: Q189112