Категорная вероятность

В начале 1960-х Ф. В. Лоувер (F. W. Lawvere) ввел категорию, объекты которой – измеримые пространства, а морфизмы – марковские переходные функции. Я попытаюсь показать, как эта категория позволяет рассматривать многие понятия теории вероятностей в терминах теории категорий и связывать вероятностные объекты с объектами других типов при помощи различных функторов.