Quotient-Comprehension Chains
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in probabilistic and classical logic. This relation i...
Main Authors: | Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2015-11-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1511.01570v1 |
Similar Items
-
Paschke Dilations
by: Abraham Westerbaan, et al.
Published: (2017-01-01) -
The three types of normal sequential effect algebras
by: Abraham Westerbaan, et al.
Published: (2020-12-01) -
Pure Maps between Euclidean Jordan Algebras
by: Abraham Westerbaan, et al.
Published: (2019-01-01) -
Unordered Tuples in Quantum Computation
by: Robert Furber, et al.
Published: (2015-11-01) -
A Kochen-Specker system has at least 22 vectors (extended abstract)
by: Sander Uijlen, et al.
Published: (2014-12-01)