Current browse context:
cs.CL
Change to browse by:
References & Citations
Computer Science > Computation and Language
Title: Combining Semilattices and Semimodules
(Submitted on 29 Dec 2020 (v1), last revised 24 Jan 2021 (this version, v3))
Abstract: We describe the canonical weak distributive law $\delta \colon \mathcal S \mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over the $S$-left-semimodule monad $\mathcal S$, for a class of semirings $S$. We show that the composition of $\mathcal P$ with $\mathcal S$ by means of such $\delta$ yields almost the monad of convex subsets previously introduced by Jacobs: the only difference consists in the absence in Jacobs's monad of the empty convex set. We provide a handy characterisation of the canonical weak lifting of $\mathcal P$ to $\mathbb{EM}(\mathcal S)$ as well as an algebraic theory for the resulting composed monad. Finally, we restrict the composed monad to finitely generated convex subsets and we show that it is presented by an algebraic theory combining semimodules and semilattices with bottom, which are the algebras for the finite powerset monad $\mathcal P_f$.
Submission history
From: Alessio Santamaria [view email][v1] Tue, 29 Dec 2020 14:44:13 GMT (70kb)
[v2] Mon, 4 Jan 2021 12:23:01 GMT (70kb)
[v3] Sun, 24 Jan 2021 16:47:41 GMT (150kb)
Link back to: arXiv, form interface, contact.