28 citations · 159 across the 26 of their papers we have counts for
4 papers · 1 filter
Monads, partial evaluations, and rewriting
Tobias Fritz, Paolo Perrone
Monads can be interpreted as encoding formal expressions, or formal operations in the sense of universal algebra. We give a construction which formalizes the idea of "evaluating an…
A Criterion for Kan Extensions of Lax Monoidal Functors
Tobias Fritz, Paolo Perrone
In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoi…
Stochastic order on metric spaces and the ordered Kantorovich monad
Tobias Fritz, Paolo Perrone
In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad fu…
Bimonoidal Structure of Probability Monads
Tobias Fritz, Paolo Perrone
We give a conceptual treatment of the notion of joints, marginals, and independence in the setting of categorical probability. This is achieved by endowing the usual probability mo…