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

disintegration