normalization of a partial Markov morphismLast updated Nov 1, 2024renormalize wheneverTags: partial Markov category