On quantum maps into quantum semigroups