renormalize whenever normalisations are almost surely idempotent Markov normalization is almost a restriction operator, normalization fails r4 in subdistributions. normalization of a composition Tags: partial Markov category.