conditionals using do-notation

Last updated Apr 14, 2025

• Markov category

The definition of conditionals can be written using do-notation. Bayesian inversions can be also written using arrow notation.

Tags: conditional, Markov category.