Nijmegen Quantum Logic Group

home people seminar

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

02 Jul 2015 [ journal (LMCS) · arXiv ]

The basic theory of predicates as maps of the form \( X \rightarrow 1+1 \) and states of the form \( 1 \rightarrow X \), together with the duality between states and effects. This paper introduces a categorical description of instruments, which capture the side-effects associated with predicates (in the quantum case).