On the structure of noncommutative mapping schemes

The following three types of objects are considered in a dual functorial formalism: (i) ind-scheme of mappings between two schemes, (ii) for a quantum group G, ind-scheme of G-mappings between two G-schemes, and (iii) ind-scheme of group homomorphisms between two quantum group. By schemes and quantum groups here we mean objects which are respectively dual to unital associative algebras and Hopf algebras.