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