Local states in string diagrams

DOI10.1007/978-3-319-08918-8_23MaRDI QIDQ5170826zbMATH OpenOpenAlexFDO

Authors Paul-André Melliès

Publication date 24 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08918-8_23

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Semantics in the theory of computing (68Q55)

Recommendations

• Towards a formal theory of graded monads
• A Fibrational Account of Local States
• Indexed Lawvere theories for local state
• A survey of graphical languages for monoidal categories
• Completeness for algebraic theories of local state

Cited in

(8)

• The many-worlds calculus
• The relational machine calculus
• A Fibrational Account of Local States
• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• Quantomatic: a proof assistant for diagrammatic reasoning
• Towards a formal theory of graded monads
• Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
• No value restriction is needed for algebraic effects and handlers

This page was built for publication: Local states in string diagrams

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