Colimits in the category DCPO-Reference-Cited by-同舟云学术

Colimits in the category DCPO

Published:1996-10 Issue:5 Volume:6 Page:455-468
ISSN:0960-1295
Container-title:Mathematical Structures in Computer Science
language:en
Short-container-title:Math. Struct. Comp. Sci.

Author:

Fiech Adrian

Abstract

We establish sufficient and necessary conditions for a natural sink to be a colimit in DCPO. Based on these conditions, we show how to construct a colimit for any functor F from a small category Ω into the category DCPO. This demonstrates that the category DCPO is cocomplete. We also investigate under what conditions the colimit object is algebraic.

Publisher

Cambridge University Press (CUP)

Subject

Computer Science Applications,Mathematics (miscellaneous)

Reference14 articles.

1. Fiech A. and Schmidt D. (1994) Polymorphic Lambda Calculus and Subtyping, Technical Report 94-7, Kansas State University (to appear in Theoretical Computer Science).

2. Taylor P. (1992) Homomorphisms, Bilimits and Saturated Domains (unpublished draft communicated by Michael Huth in April 1992).

3. Domains for denotational semantics

4. Basic Category Theory for Computer Scientists

5. Jung A. (1992) Private notes communicated by Michael Huth in April 1992.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Directed complete poset congruences;Journal of Pure and Applied Algebra;2019-10

2. Natural congruences and isomorphism theorems for directed complete partially ordered sets;Algebra universalis;2017-01-18

3. Weighted limits in the category Dcpo-S;Asian-European Journal of Mathematics;2016-08-10

4. Free and Cofree Acts of Dcpo-Monoids on Directed Complete Posets;Bulletin of the Malaysian Mathematical Sciences Society;2015-05-08

5. Exponentiable morphisms of domains;Mathematical Structures in Computer Science;2008-10