All Questions

Let $C$ be a symmetric monoidal category equipped with diagonals $\triangle_x: x \to x \otimes x$, that is, equipped with natural transformations $e_x: x \to 1$ and $\triangle_x : x \to x \otimes x $ ...

$1/Kl(D)$ is the comma category of the one element set in the Kleisli category of the distribution monad. There is mention of it here. The objects are probability distributions called states and the ...

(Note: This is a heuristic question. I'm trying to work out if this idea makes sense. I don't have much background in this area, so apologies if I'm wide of the mark.) Suppose you have a monad ...