Operator valued probability theory

We outline an extention of probability theory based on positive operator valued measures. We generalize the main notions from probability theory such as random variables, conditional expectations, densities and mappings. We introduce a product of extended probability spaces and mappings, and show that the resulting structure is a monoidal category, just as in the classical theory.