A Kind of Compact Quantum Semigroups

We show that the quantum family of all maps from a finite space to a finite dimensional compact quantum semigroup has a canonical quantum semigroup structure.Comment: 9 page