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