Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/free-and-cofree-acts-of-dcpo-monoids-on-directed-complete-posets-ZrdH5tTkX7
References (14)
-
A. Jung, M. Moshier, Steve Vickers (2008)
Presenting Dcpos and Dcpo Algebras -
S. Vickers, C. Townsend (2004)
A universal characterization of the double powerlocaleTheor. Comput. Sci., 316
-
M. Kilp, U. Knauer, A. Mikhalev (2000)
Monoids, acts, and categories -
(1995)
Domain Theory, Handbook of -
Adrian Fiech (1996)
Colimits in the category DCPOMathematical Structures in Computer Science, 6
-
S Abramsky, A Jung (1995)
Domain Theory, Handbook of Computer Science and Logic -
R. Crole (1994)
Categories for Types -
S. Bulman-Fleming, M. Mahmoudi (2005)
The Category of S-PosetsSemigroup Forum, 71
-
M. Ebrahimi, M. Mahmoudi (2001)
The category of M-setsItalian journal of pure and applied mathematics
-
B. Davey, H. Priestley (1990)
Introduction to lattices and order -
(1972)
Residuation Theory -
Min Liu, Bin Zhao (2013)
Cartesian closed categories of FƵ-domainsActa Mathematica Sinica, English Series, 29
-
(2014)
The categories of actions of a dcpo-monoid on directed complete posets -
A Jung (1989)
Cartesian Closed Categories of Domains, Stichting Mathematisch Centrum
- Publisher
- Springer Journals
- Copyright
- Copyright © 2015 by Malaysian Mathematical Sciences Society and Universiti Sains Malaysia
- Subject
- Mathematics; Mathematics, general; Applications of Mathematics
- ISSN
- 0126-6705
- eISSN
- 2180-4206
- DOI
- 10.1007/s40840-015-0127-z
- Publisher site
- See Article on Publisher Site
Abstract
In this paper, we study the existence of the free and cofree objects in the categories Dcpo- $$S$$ S (and Cpo- $$S$$ S ) of all directed complete posets (with bottom element) equipped with a compatible right action of a dcpo-monoid (cpo-monoid) $$S$$ S , with (strict) continuous action-preserving maps between them. More precisely, we consider all forgetful functors between these categories and the categories Dcpo of dcpo’s, (CPo) of cpo’s, Pos of posets, and Set of sets, and study the existence of their left and right adjoints.
Journal
Bulletin of the Malaysian Mathematical Sciences Society – Springer Journals
Published: May 8, 2015