Duomulticategory

Last updated Feb 3, 2024

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.