  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.
