Dagger compact category combines compact categories (formalizing quantum systems with bra-ket structure) with a dagger operation (adjoint/time-reversal). Encodes unitarity, reversibility, and measurement. The semantic foundation for categorical quantum mechanics; enables diagrammatic proofs of quantum protocol correctness.