Title:On the quantum groups and semigroups of maps between noncommutative spaces

Abstract:We consider a categorical approach to the pure algebraic formulation of the notion of 'quantum family of maps' introduced by P.M. Soltan in the context of NC geometry. More precisely, we study the notions of 'algebraic family of (iso)morphisms' and 'algebraic family of all (iso)morphisms' between two algebras over a commutative ring. These give rise to two class of Hopf-algebras which may be interpreted as the quantum group of all maps from a finite space to a quantum group, and the quantum group of all automorphisms of a finite NC space. As applications, we offer explicitly constructed candidates for three class of NC objects: quantum group of gauge transformations, Pontryagin dual of a quantum group, and Galois Hopf-algebra of an algebra extension.