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...

Full description

Bibliographic Details
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