Categories and General Algebraic Structures with Applications (Jul 2020)
The symmetric monoidal closed category of cpo $M$-sets
Abstract
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
Keywords