associativity for a normal duoidally enriched multicategoryLast updated Jul 23, 2024Tags: normal duoidally enriched multicategory.
