- conditionals are almost surely total
- quasitotal morphism
- 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
- conditionals in distributive copy-discard multicategories
Definition, in copy-discard categories.
Related: Markov category, discrete partial Markov category, Synthetic Bayes theorem, disintegration.
References.
- A Synthetic Approach to Markov Kernels (Fritz, 2020)
- Disintegration and Bayesian Inversion via String Diagrams (Cho, Jacobs, 2017), Definition 3.5 (disintegration).