 Quiver representation isomorphism

A quiver representation morphism is an isomorphism exactly when all its vertex maps are invertible. Choosing bases turns this into the base change action on quiver representations, whose orbits coincide with isomorphism classes.