Stochastic Relations

Foundations for Markov Transition Systems

af Ernst-Erich Doberkat

Develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, this book examines the central topics of congruences and morphisms and applies these to the monoidal structure.