Remark [efr-U436]

The operations \alpha ^* associated to stochastic lifts are "functorial" in the sense that (\alpha \beta )^* = \beta ^*\alpha ^*. However they are not functorial in the sense that \alpha ^*(fg) = \alpha ^*(f)\alpha ^*(g)

To make sense of this, consider a simple case of a map m: I \to X in Kl(\Delta ). Given two objects over * (in Kl(\Delta )^\to ), a map \bar {A}_X \to \bar {B}_X is equivalent to a parametrized map X \times \bar {A} \to \bar {B}. The operation m^* consists in sampling this parameter according to the distribution m---but since composition in the fiber over X is defined by copying the parameter, but composition in the fiber over * (i.e just Kl(\Delta )) is defined by composing the kernels under conditional independence, these only agree if the distribution m is assumed to be deterministic.

Note that if either f or g is pulled back from a map \bar {A} \to \bar {B} (i.e, if they do not depend on the parameter X), the composition is preserved.