dr. Bas Westerbaan


Dichotomy between deterministic and probabilistic models in countably additive effectus theory

24 Mar 2020 [ arXiv · video ]

A non-trivial σ-effectus with normalization has as scalars either {0,1} or [0,1]. When states and predicates are separating, then it must embed into the category Boolean algebras (in the first case) and into the category of Banach order-unit spaces in the second case.