normalization fails r4 in subdistributionsLast updated Dec 7, 2024Tags: normalization in Markov categories, normalization in a partial Markov.