# 1 Markov Category

A Markov category is a symmetric monoidal category $$(\cC, \otimes, I)$$ in which every $$\cC$$-object $$A$$ is equipped with a commutative comonoid structure (comultiplication $$\copy_X: X \to X \otimes X$$, counit $$\del_X: X \to I$$) subject to

• compatibility with the monoidal structure
• naturality of the counit