Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Combining Semilattices and Semimodules   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$.

23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex