The symmetric monoidal closed category of cpo $M$-sets
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.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Shahid Beheshti University
2020-07-01
|
| Series: | Categories and General Algebraic Structures with Applications |
| Subjects: | |
| Online Access: | https://cgasa.sbu.ac.ir/article_87434_145bf46136675b89ce591ca594d1d767.pdf |