normal duoidally enriched multicategory

Last updated Jul 23, 2024

• 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)