{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:26:51Z","timestamp":1767338811791},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2018,4,19]],"date-time":"2018-04-19T00:00:00Z","timestamp":1524096000000},"content-version":"unspecified","delay-in-days":7870,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1996,10]]},"abstract":"<jats:p>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 \u03a9 into the category DCPO. This demonstrates that the category DCPO is cocomplete. We also investigate under what conditions the colimit object is algebraic.<\/jats:p>","DOI":"10.1017\/s0960129500070031","type":"journal-article","created":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:14:05Z","timestamp":1557692045000},"page":"455-468","source":"Crossref","is-referenced-by-count":8,"title":["Colimits in the category DCPO"],"prefix":"10.1017","volume":"6","author":[{"given":"Adrian","family":"Fiech","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"S0960129500070031_ref003","unstructured":"Fiech A. and Schmidt D. (1994) Polymorphic Lambda Calculus and Subtyping, Technical Report 94-7, Kansas State University (to appear in Theoretical Computer Science)."},{"key":"S0960129500070031_ref014","unstructured":"Taylor P. (1992) Homomorphisms, Bilimits and Saturated Domains (unpublished draft communicated by Michael Huth in April 1992)."},{"key":"S0960129500070031_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012801"},{"key":"S0960129500070031_ref010","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"Pierce","year":"1991"},{"key":"S0960129500070031_ref007","unstructured":"Jung A. (1992) Private notes communicated by Michael Huth in April 1992."},{"key":"S0960129500070031_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58027-1_28"},{"key":"S0960129500070031_ref001","volume-title":"Abstract and Concrete Categories","author":"Adamek","year":"1990"},{"key":"S0960129500070031_ref013","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"S0960129500070031_ref011","volume-title":"Proceedings of the Summer School on Foundations of Artificial Inteligence and Computer Science","author":"Plotkin","year":"1978"},{"key":"S0960129500070031_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(82)90002-0"},{"key":"S0960129500070031_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9"},{"key":"S0960129500070031_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90165-E"},{"key":"S0960129500070031_ref008","volume-title":"Cartesian Closed Categories of Domains","author":"Jung","year":"1989"},{"key":"S0960129500070031_ref009","first-page":"294","volume-title":"Proceedings of the 1977 International FCT-Conference","author":"Meseguer","year":"1977"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500070031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:14:15Z","timestamp":1557692055000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500070031\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":14,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["S0960129500070031"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500070031","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}