Categorical Quantum Models and Logics door Christiaan Heunen