Affine Monads and Side-Effect-Freeness

DOI10.1007/978-3-319-40370-0_5MaRDI QIDQ5739449zbMATH OpenOpenAlexFDO

Authors Bart Jacobs

Publication date 15 July 2016

Published in Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01446033/file/418352_1_En_5_Chapter.pdf

Mathematics Subject Classification ID

Quantum logic (03G12) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) 2-dimensional monad theory (18N15) Functional programming and lambda calculus (68N18)

Recommendations

• Effectuses from monads
• scientific article; zbMATH DE number 1497780
• scientific article; zbMATH DE number 2090722
• The marriage of effects and monads
• The marriage of effects and monads
• The marriage of effects and monads
• Parametric effect monads and semantics of effect systems
• Monads, partial evaluations, and rewriting
• scientific article; zbMATH DE number 2068087

Cites work

• A predicate/state transformer semantics for Bayesian learning
• Affine parts of monads
• An effect-theoretic account of Lebesgue integration
• Analytic functors and weak pullbacks
• Bilinearity and Cartesian Closed Monads.
• Categories of quantum and classical channels
• From probability monads to commutative effectuses
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3291978 (Why is no real title available?)
• Labelled Markov processes.
• Measurable spaces and their effect logic
• Monads on symmetric monoidal closed categories
• New directions in categorical logic, for classical, probabilistic and quantum logic
• Semantics of weakening and contraction
• States of convex sets
• Structural Operational Semantics for Weighted Transition Systems
• The expectation monad in quantum foundations

Cited in

(14)

• From probability monads to commutative effectuses
• Effectuses from monads
• L ax F: Side Conditions and External Evidence as Monads
• scientific article; zbMATH DE number 7449991 (Why is no real title available?)
• The marriage of effects and monads
• Dilations and information flow axioms in categorical probability
• Shades of iteration: from Elgot to Kleene
• Enriching diagrams with algebraic operations
• Multinomial and hypergeometric distributions in Markov categories
• Coalgebraic CTL: fixpoint characterization and polynomial-time model checking
• Graded semantics and graded logics for Eilenberg-Moore coalgebras
• Overdrawing urns using categories of signed probabilities
• A topologically enriched probability monad on the Cartesian closed category of CGWH spaces
• A taxonomy of categories for relations

Describes a project that uses

Uses Software

• QPEL

This page was built for publication: Affine Monads and Side-Effect-Freeness

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