Categorical Quantum Models and Logics

This dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guide