مشخصات پژوهش

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.