Free quantum analogues of the first fundamental theorems of invariant theory

We formulate and prove a free quantum analogue of the first fundamental theorems of invariant theory. More precisely, the polynomial functions algebras are replaced by free algebras, while the universal cosovereign Hopf algebras play the role of the general linear group.