Combs, Causality and Contractions in Atomic Markov Categories

Dario Stein, Márk Széles

We present a counterexample showing that Markov categories with conditionals (such as BorelStoch) need not validate a natural scheme of axioms which we call contraction identities.…