Monoidal multicategory Contextual equivalence of lenses visible symmetric monoidal category Contour References The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)
