Convexity via Weak Distributive Laws

We study the canonical weak distributive law $\delta$ of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. For this subclass we characterise $\delta$ as a convex closure in the free semimodule of a set. Using the abstract th...

Full description

Bibliographic Details
Main Authors: Filippo Bonchi, Alessio Santamaria
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2022-11-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/8389/pdf