Quiver representation isomorphism (source code)

= Quiver representation isomorphism
{title2=$X\cong Y$}

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.