Abstract

In this work we expand the foundational perspective of category theory on quantum event structures by showing the existence of an object of truth values in the category of quantum event algebras, characterized as subobject classifier. This object plays the corresponking role that the two-valued Boolean truth values object plays in a classical event structure. We construct the object of quantum truth values explicitly and argue that it constitutes the appropriate choice for the valuation of propositions describing the behavior of quantum systems.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call