Definition Boolean Markov category [efr-7JNJ]

An extensive Markov category \mathcal {C} is Boolean (as a Markov category) if \mathcal {C}_\mathrm {det} is Boolean, i.e if every monomorphism in \mathcal {C}_\mathrm {det} is a coproduct inclusion.