Categorical Quantum Models and Logics by Christiaan Heunen