Markovs are secretly produoidal

Last updated Feb 3, 2024

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