Quantum families of maps and quantum semigroups on finite quantum spaces

Quantum families of maps between quantum spaces are defined and studied. We prove that quantum semigroup (and sometimes quantum group) structures arise naturally on such objects out of more fundamental properties. As particular cases we study quantum semigroups of maps preserving a fixed state and quantum commutants of given quantum families of maps.