1 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
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.…