This subsection focuses on the quantum-mechanical formalism needed before information-theoretic and algorithmic applications.
Use the sequence below as the local map for this branch. The notes here are meant to keep the postulates, mixed states, and entanglement machinery close at hand for later use.