Disintegration and Bayesian Inversion, Both Abstractly and Concretely
Causal Theories: A Categorical Perspective on Bayesian Networks