Disintegration and Bayesian Inversion, Both Abstractly and Concretely
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning