Bimonoidal Structure of Probability Monads

04/10/2018
by   Tobias Fritz, et al.
0

We give a conceptual treatment of the notion of joints, marginals, and independence in the context of categorical probability. This is achieved by endowing the usual probability monads (like the Giry monad) with a monoidal and an opmonoidal structure, mutually compatible (i.e. a bimonoidal structure). If the underlying monoidal category is cartesian monoidal, a bimonoidal structure is given uniquely by a strength with an extra condition. However, if the underlying monoidal category is not cartesian monoidal, a strength is not enough to guarantee all the desired properties of joints and marginals. A bimonoidal structure is then the correct requirement for the more general case. We explain the theory and the operational interpretation, with the help of the graphical calculus for monoidal categories. We then show as an example that the Kantorovich monad on the category of complete metric spaces is a bimonoidal monad for a non-cartesian monoidal structure.

READ FULL TEXT
research
07/06/2020

An interpretation of dependent type theory in a model category of locally cartesian closed categories

Locally cartesian closed (lcc) categories are natural categorical models...
research
03/24/2023

Weakly affine monads

Introduced in the 1990s in the context of the algebraic approach to grap...
research
03/09/2015

A Single-Pass Classifier for Categorical Data

This paper describes a new method for classifying a dataset that partiti...
research
02/19/2023

Rewriting modulo traced comonoid structure

In this paper we adapt previous work on rewriting string diagrams using ...
research
11/04/2022

Dilations and information flow axioms in categorical probability

We study the positivity and causality axioms for Markov categories as pr...
research
10/13/2021

Lifting couplings in Wasserstein spaces

This paper makes mathematically precise the idea that conditional probab...
research
03/08/2023

Aczel-Mendler Bisimulations in a Regular Category

Aczel-Mendler bisimulations are a coalgebraic extension of a variety of ...

Please sign up or login with your details

Forgot password? Click here to reset