Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory

Kenta Cho, Bas Westerbaan, John van de Wetering

Effectus theory is a relatively new approach to categorical logic that can be seen as an abstract form of generalized probabilistic theories (GPTs). While the scalars of a GPT are…