Categorical multi-combinators