Clearly any ordinary category can be interpreted in a multi or polycategory without change (by restricting multimorphisms to be unary). Can every multi or polycategory be interpreted or recast in an ordinary category? Is there any reason other than convenience or simplicity to work only in categories rather than multi or polycategories?
In an ordinary category, a poset is any category where the hom-set of any pair of objects contains only 1 morphism. This could carry over unchanged in a multicategory, however, it seems like you could also define a poset as a binary morphism from a pair of objects to the terminal object (which we could interpret as the truth value).
It seems like the power of category theory comes from enforced compositionalitity of morphisms and the encoding irrelevance of objects (ie we don't need to care what the objects are); and multi and polycategories would seem to still maintain those properties.
edit: also curious how PROPs fit in, they are sort of like polycategories but composition rule is different