Do notation is sound and complete for monoidal categories

Last updated Feb 3, 2024

• do-notation for symmetric monoidal categories