Weakening and iterating laws using string diagrams

DOI10.46298/ENTICS.10482MaRDI QIDQ6831514zbMATH OpenFDO

Authors Alexandre Goy

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

distributive lawmonadYang-Baxter equationstring diagramweak distributive lawiterated distributive law

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: Weakening and iterating laws using string diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831514)