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.
Search
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.