normalization of a partial Markov morphismLast updated Dec 7, 2024renormalize whenevernormalisations are almost surely idempotentTags: partial Markov category.
