A Categorical Approach to Probability Theory

Abstract

First, we discuss basic probability notions from the viewpoint of category theory. Our approach is based on the following four “sine quibus non” conditions: 1. (elementary) category theory is efficient (and suffices); 2. random variables, observables, probability measures, and states are morphisms; 3. classical probability theory and fuzzy probability theory in the sense of S. Gudder and S. Bugajski are special cases of a more general model; 4. a good model allows natural modifications. Second, we show that the category ID of D-posets of fuzzy sets and sequentially continuous D-homomorphisms allows to characterize the passage from classical to fuzzy events as the minimal generalization having nontrivial quantum character: a degenerated state can be transported to a nondegenerated one. Third, we describe a general model of probability theory based on the category ID so that the classical and fuzzy probability theories become special cases and the model allows natural modifications. Finally, we present a modification in which the closed unit interval [0,1] as the domain of traditional states is replaced by a suitable simplex.