Categorical quantum mechanics formalizes quantum theory using category theory: quantum systems are objects, processes are morphisms. States are morphisms from scalars to Hilbert spaces; evolution is morphism composition. The framework provides string diagram calculus for visualizing and simplifying quantum circuits and proofs. Foundational for quantum error correction, quantum computing theory, and graphical calculi like ZX calculus.