- conditionals are almost surely total
- quasitotal conditional
- structural conditional
- conditionals of a composition
- markov category - conditionals using do-notation
- markov category - conditionals on multigraph signatures
- conditionals of a family
- conditionals are unique up to ranges
- conditional composition in a Kleisli category
- First action of produoidal Markov split
- Second action of produoidal Markov split
- Borel-Kolmogorov paradox
Definition, in copy-discard categories.
Related: Markov category, discrete partial Markov category, Synthetic Bayes theorem, disintegration.
References