New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic (Logical Methods in Computer Science, 2015)