(*********************************************
Conditionals

We define the notion of a Markov category with chosen conditionals,
and various interderivable notions such as Bayesian inverses. We prove
various consequences of the existence of conditionals for information flow axioms.

References
- T. Fritz - 'A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics' 
**********************************************)

Require Export UniMath.CategoryTheory.MarkovCategories.Conditionals.Definition.
Require Export UniMath.CategoryTheory.MarkovCategories.Conditionals.InformationFlow.