associativity for normal opduoidally enriched multicategoriesLast updated Jul 23, 2024Tags: normal duoidally enriched multicategoryReferences.Universal Algebra and Effectful Computation (Rajesh, 2023)String Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)
