More generally, given any monoidal category C, there is a multicategory whose objects are objects of C, where a morphism from the C-objects X1, X2, ..., and Xn to the C-object Y is a C-morphism from the monoidal product of X1, X2, ..., and Xn to Y.
