Markovs are secretly produoidal

Last updated Dec 7, 2024

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