posted on 2023-06-10, 06:24authored byFilippo Bonchi, Alessio Santamaria
We study the canonical weak distributive law d of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. For this subclass we characterise d 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 d, obtaining the monad of convex subsets of the free semimodule.
History
Publication status
Published
File Version
Published version
Journal
Logical Methods in Computer Science
ISSN
1860-5974
Publisher
Centre pour la Communication Scientifique Directe (CCSD)