Text this: New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic