Effectuses from monads

DOI10.1016/J.ENTCS.2016.09.037zbMath1395.18006OpenAlexW2529107809WikidataQ113317635 ScholiaQ113317635MaRDI QIDQ1744385

Bart Jacobs

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.037

zbMATH Keywords

monadprobabilistic computationeffectus

Mathematics Subject Classification ID

Quantum computation (81P68) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

From probability monads to commutative effectuses

Cites Work

• Partially additive categories and flow-diagram semantics
• From Coalgebraic to Monoidal Traces
• From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Introduction to distributive categories
• An Extension Result for Continuous Valuations
• Total and Partial Computation in Categorical Quantum Foundations
• Affine Monads and Side-Effect-Freeness
• Unnamed Item
• Unnamed Item

This page was built for publication: Effectuses from monads