The symmetric monoidal closed category of cpo M -sets
نویسندگان
چکیده
منابع مشابه
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...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Categories and General Algebraic Structures with Application
سال: 2020
ISSN: 2345-5853,2345-5861
DOI: 10.29252/cgasa.13.1.105