Total and Partial Computation in Categorical Quantum Foundations

zbMath1477.81028arXiv1511.01569MaRDI QIDQ5015192

Kenta Cho

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1511.01569

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum measurement theory, state operations, state preparations (81P15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (5)

From probability monads to commutative effectuses ⋮ Unnamed Item ⋮ Effectuses from monads ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ A computer scientist’s reconstruction of quantum theory*

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
• Notions of computation and monads
• Partially additive categories and flow-diagram semantics
• Coreflections in algebraic quantum logic
• Dijkstra Monads in Monadic Computation
• States of Convex Sets
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

This page was built for publication: Total and Partial Computation in Categorical Quantum Foundations