produoidal category Markov category First action of produoidal Markov split Second action of produoidal Markov split
