Duomulticategory

Moreover, there must exist laxators following the structure of a posetal duoidale.

(Should these be called virtual duoidal categories? the name is already being used for those with a representable tensor.)

See: multicategory.