Identities for mixed representations of quiver are finitely based

The classical construction of representations of quivers enables us to consider linear maps between several vector spaces. The mixed representations of quivers helps us to work with linear maps as well as bilinear forms on several vector spaces. We construct a finite generating set for the T-ideal of identities of the polynomial invariants of mixed representations of a quiver.