Article contents
Colimits in the category DCPO
Published online by Cambridge University Press: 19 April 2018
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Cambridge University Press 1996
References
- 6
- Cited by