Convexity via Weak Distributive Laws

08/19/2021
by   Filippo Bonchi, et al.
0

We study the canonical weak distributive law δ of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. For this subclass we characterise δ as a convex closure in the free semimodule of a set. Using the abstract theory of weak distributive laws, we compose the powerset and the semimodule monads via δ, obtaining the monad of convex subsets of the free semimodule.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/29/2020

Combining Semilattices and Semimodules

We describe the canonical weak distributive law δ𝒮𝒫→𝒫𝒮 of the powerset m...
10/02/2020

Combining Weak Distributive Laws: Application to Up-To Techniques

The coalgebraic modelling of alternating automata and of probabilistic a...
05/07/2022

Weakening and Iterating Laws using String Diagrams

Distributive laws are a standard way of combining two monads, providing ...
06/25/2021

Semialgebras and Weak Distributive Laws

Motivated by recent work on weak distributive laws and their application...
05/18/2018

Can machine learning identify interesting mathematics? An exploration using empirically observed laws

We explore the possibility of using machine learning to identify interes...
11/29/2019

Parametric Interpolation Framework for 1-D Scalar Conservation Laws with Non-Convex Flux Functions

In this paper we present a novel framework for obtaining high order nume...
08/17/2018

Proving Type Class Laws for Haskell

Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. ...