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