## Reference * Bart Jacobs, New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic, [arXiv:1205.3940](http://arxiv.org/abs/1205.3940)