Normal monoidal multicategorical contour

Last updated Feb 25, 2024

• Monoidal multicategory
• Contextual equivalence of lenses
• visible symmetric monoidal category
• Contour

References

• The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)