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

• directed complete partially ordered set
• $m$-sets
• symmetric monoidal closed category