associativity for a normal duoidally enriched multicategory associativity for normal opduoidally enriched multicategories Tags: normal duoidal category, zetless poset. References. Universal Algebra and Effectful Computation (Rajesh, 2023)
