Tags: normal duoidally enriched multicategory References. Universal Algebra and Effectful Computation (Rajesh, 2023) String Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)