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.
منابع مشابه
The category of monoid actions in Cpo
In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...
متن کاملGraphical Presentations of Symmetric Monoidal Closed Theories
We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
متن کاملBinding bigraphs as symmetric monoidal closed theories
We reconstruct Milner’s [1] category of abstract binding bigraphs Bbg(K) over a signature K as the free (or initial) symmetric monoidal closed (smc) category S(TK) generated by a derived theory TK. The morphisms of S(TK) are essentially proof nets from the Intuitionistic Multiplicative fragment (imll) of Linear Logic [2]. Formally, we construct a faithful, essentially injective on objects funct...
متن کاملMonads on Symmetric Monoidal Closed Categories By
Introduction. This note is concerned with "categories with internal horn and | and we shall use the terminology from the paper [2] by EIL~.NBERG and Kv.Imy. The result proved may be stated briefly as follows : a Y/--monad ("strong monad") on a symmetric monoidal closed category ~ carries two canonical structures as closed functor. I f these agree (in which case we call the monad commutative), t...
متن کاملIsomorphic Objects in Symmetric Monoidal Closed Categories
Isomorphic objects in symmetric monoidal closed categories† K O S T A D O Š E N ‡ and Z O R A N P E T R I Ć § ‡ University of Toulouse III, Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse cedex, France and Mathematical Institute, Knez Mihailova 35, P.O. Box 367, 11001 Belgrade, Yugoslavia § University of Belgrade, Faculty of Mining and Geology, Djušina 7...
متن کاملClosed Symmetric Monoidal Structure and Flow
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 13 شماره 1
صفحات 105- 124
تاریخ انتشار 2020-07-01
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023