Introductory Paragraph
In this work, EQUALITY partners from Leiden University extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. The authors achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.
Under the condition that this monad is monoidal and affine, they construct an adjunction between symmetric monoidal categories and symmetric monoidal categories enriched over algebras for the monad. This allows the group to devise an extension, and its semantics, of the ZX-calculus with probabilistic choices by freely enriching over convex algebras, which are the algebras of the finite distribution monad. Finally, they show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
Read the paper by clicking on the link below.
