Markovs are secretly produoidal

Last updated Oct 7, 2024

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