Quotient-comprehension chains

MaRDI QIDQ5015193zbMATH OpenFDO

Authors Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan

Publication date 6 December 2021

Full work available at URL https://arxiv.org/abs/1511.01570, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2015.10

Mathematics Subject Classification ID

Quantum logic (03G12) Categorical logic, topoi (03G30)

Recommendations

• New directions in categorical logic, for classical, probabilistic and quantum logic
• Quantum logic in dagger kernel categories
• Quantum logics and instruments
• Quantum logic in dagger kernel categories
• Compositional quantum logic

Cites work

• A universal property for sequential measurement
• Algebraic foundations of many-valued reasoning
• Categorical logic and type theory
• Duality for groups
• From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
• Homological algebra. The interplay of homology with distributive lattices and orthodox semigroups.
• scientific article; zbMATH DE number 3129730 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3348793 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Measurable spaces and their effect logic
• New directions in categorical logic, for classical, probabilistic and quantum logic
• On the form of subobjects in semi-abelian and regular protomodular categories
• On vector lattice with a unit
• Quantum computation and quantum information. 10th anniversary edition
• Sequential quantum measurements
• Total and partial computation in categorical quantum foundations

Cited in

(8)

• Duality in non-abelian algebra. IV. Duality for groups and a universal isomorphism theorem
• A universal property for sequential measurement
• Pure maps between Euclidean Jordan algebras
• A type theory for probabilistic and Bayesian reasoning
• Three characterisations of the sequential product
• Total and partial computation in categorical quantum foundations
• Sequential product spaces are Jordan algebras
• A computer scientist’s reconstruction of quantum theory*

This page was built for publication: Quotient-comprehension chains

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