disintegration

Last updated Dec 7, 2024

Refer to Bayesian inversion; this is the case where the morphism is controlled by an input.