{"entities":{"Q262979":{"pageid":264746,"ns":120,"title":"Item:Q262979","lastrevid":60574503,"modified":"2026-04-10T17:49:16Z","type":"item","id":"Q262979","labels":{"en":{"language":"en","value":"Free and cofree acts of dcpo-monoids on directed complete posets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6562576"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$43D36414-504C-4F7E-8C15-6C15CDCEFF57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18ee8aa8fee122963a5f8bb0ddd3238faaaee62b","datavalue":{"value":{"text":"Free and cofree acts of dcpo-monoids on directed complete posets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q262979$6807009F-86F4-437A-AAA7-9E9F3C329142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d86a0d0a45917707b920b94123705e98c9004d49","datavalue":{"value":"1344.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$03794A58-D45A-4DF8-9E95-B84C901E8BC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae88561f4474fdcb0da2b007af2999d3e69f8fc","datavalue":{"value":{"entity-type":"item","numeric-id":262977,"id":"Q262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$E70F8D71-8CB2-4B5C-8927-F778360CD548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"185f1ecbffe4cd71c16fd0b26c5530c8b83af5f0","datavalue":{"value":{"entity-type":"item","numeric-id":262978,"id":"Q262978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$25E99860-9D5D-44B2-B56B-D7FBF7485966","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef1198b0225f4fc027fe11094295f22660c1645a","datavalue":{"value":{"entity-type":"item","numeric-id":223548,"id":"Q223548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$F02E5210-C810-4BB2-8F11-9ED76955BDBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d632be975d89d9bf6400f8a1a3033c5ac887a3f4","datavalue":{"value":{"time":"+2016-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q262979$30555C2F-9271-473C-8BDF-551DCF2AF47C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdbe41857ded0dec2bbe76fa5ce2e427e6af3c5a","datavalue":{"value":"Let \\(S\\) be a directed complete pomonoid (dcpo). A dcpo which has a bottom element is said to be a \\textit{cpo}. A dcpo \\(S\\) is said to be \\textit{good} if for every directed subset \\(D\\) of \\(S\\), the directed join \\(\\bigvee^dD\\in D\\). Let \\(\\mathbf{Dcpo}\\)-\\(S\\) (\\(\\mathbf{Cpo}\\)-\\(S\\)) be the category of all directed complete posets (with bottom element) equipped with a compatible right action of a dcpo-monoid (cpo-monoid, respectively) \\(S\\).   Free objects and a number of specific cases in \\(\\mathbf{Dcpo}\\)-\\(S\\) and \\(\\mathbf{Cpo}\\)-\\(S\\) are described. For example, if \\(S\\) is a good dcpo-monoid, then for a given \\(S\\)-poset \\(A\\), the free \\(S\\)-dcpo on \\(A\\) is the dcpo \\(\\mathrm{Id}(A)\\) (the collection of all ideals of \\(A\\)) with the action \\(\\lambda\\colon\\mathrm{Id}(A)\\times S\\to\\mathrm{Id}(A)\\), given by \\((I,s)\\mapsto{\\downarrow\\!(Is)}\\). Cofree objects in \\(\\mathbf{Dcpo}\\)-\\(S\\) are described and proved that if \\(P\\) is a nontrivial poset with nonidentity order, which is also a dcpo, then the cofree dcpo over \\(P\\) does not exist. The results allow to decide existence of left and right adjoints of forgetful functors between the relevant categories \\(\\mathbf{Cpo}\\)-\\(S\\), \\(\\mathbf{Dcpo}\\)-\\(S\\), \\(\\mathbf{Pos}\\)-\\(S\\), \\(\\mathbf{Act}\\)-\\(S\\) and \\(\\mathbf{Cpo}\\), \\(\\mathbf{Dcpo}\\), \\(\\mathbf{Pos}\\), \\(\\mathbf{Set}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q262979$49168244-3012-4075-BA4A-9F85D22F6BD8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$D4D2B12D-ACAC-4ECE-98CA-DAF8BF68A78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$B109483F-649B-4BF4-BA1B-2E63A6996CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$BB240176-6CE2-4FA7-9488-2839E13A5532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$BA1660B1-B807-4949-99E6-8A1EF4940ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$035E42DD-0876-4705-BE7E-31BE0819ED8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4484df2019c22357f3876f9d698ab4ab6ae40e7","datavalue":{"value":"6562576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$47B6A980-9292-4F17-8818-80F7B2B34CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466feea28f84459752a2ce710470b3f7e59bfb25","datavalue":{"value":"directed complete pomonoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q262979$57030996-4003-4E3B-A051-B940EDF37FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae899779868caeacea996282cddff78e6cd225c6","datavalue":{"value":"directed complete partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q262979$73ADD2AB-AA34-4C63-9576-1EECBBCDACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02f88140f68fe9cc81a60da21301d57b03f1488","datavalue":{"value":"free acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q262979$95E5A224-6131-4519-8428-B29BA929AF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ff64978eb639b2c8dd2fe80de1c93e751fa0ac","datavalue":{"value":"cofree acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q262979$AA3AD5F8-32A6-4191-9E0E-26CADB85A1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c81596cce119a1de9d0f2275853314f1541980","datavalue":{"value":"monoid actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q262979$C6BC7130-2CC9-4654-A535-CA7B5890DE8E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$A938891A-8FB9-4B5F-BA1E-89EBE077C291","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"617f96d7f57f64fe4b0441ceb8a2817b0bc6fca3","datavalue":{"value":"https://doi.org/10.1007/s40840-015-0127-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q262979$FA25A5CA-DE66-4EC0-A536-4930F218FB41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f659496561b5ad822ee12beb0a845d2322fc3ce","datavalue":{"value":"W847289729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$7DD59E1A-39AA-41F3-8132-7D7566E3A0A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$D55286E0-93BA-4FBB-83C3-3953F006F9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$AD19A472-EAD0-4689-A63D-A0D539F3367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07345368341e17504be5f3a8e133f587a691adbb","datavalue":{"value":{"entity-type":"item","numeric-id":2491204,"id":"Q2491204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$83A1B726-668E-4F20-AC8D-F8C7E45A4815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$70ACEEDE-470A-4A37-9AE0-CD00E93BCAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$34779E60-5787-4CFB-97D7-60234534D14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18f62d8200e876405ede327c9a04f1fc468f7d5","datavalue":{"value":{"entity-type":"item","numeric-id":4786538,"id":"Q4786538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$EE55AFC3-D27D-41F4-A40C-AD10BF4AC078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945dbe7b45d15257d4501308d45e43711ecad14c","datavalue":{"value":{"entity-type":"item","numeric-id":3837263,"id":"Q3837263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$6182D3B4-5A52-445C-92A6-565AC400FBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$98A1C525-8A3C-4C3E-8711-D4F9A83AA022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ccb0923764a69dcb5b2e204893fd1386e60bbc","datavalue":{"value":{"entity-type":"item","numeric-id":5415639,"id":"Q5415639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$0A3AE906-EC17-4B73-913E-957EEA1B80E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$1614EA14-91E0-46A4-B094-90E96BF377FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b06dae8bd3e967c6fc14dab865cf3a4ee23a9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2798972,"id":"Q2798972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$2BAF3A07-7426-48FB-8388-0ABC8DD59172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c0a6126495cda1262185672d17adb8c374c26d","datavalue":{"value":{"entity-type":"item","numeric-id":1434363,"id":"Q1434363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q262979$98D423DD-9B2D-43E5-B639-6F653B6540D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b247e80465f119a9c7a624a0d0d48e1bdeb1623","datavalue":{"value":"10.1007/S40840-015-0127-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q262979$639104CA-40BA-4F68-A408-68457B4B6960","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11405044b81c2e9cd3d0fd8749a3851a230deb87","datavalue":{"value":{"entity-type":"item","numeric-id":281082,"id":"Q281082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c00a0d8547a3faee20a806dce4b83c7a15e8a7","datavalue":{"value":{"amount":"+0.8968486189842224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q262979$AFEC2D93-6692-4BDD-A88E-3B12B1EF711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb66679ae3ad9bf960a5d047bf24464e12dbe530","datavalue":{"value":{"entity-type":"item","numeric-id":2798972,"id":"Q2798972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e116ec52f013e2c7d7c25e352e3a2913837a269c","datavalue":{"value":{"amount":"+0.861845850944519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q262979$4BA9802C-8937-454D-9067-F0EB0891CFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9d25c2df968e814cbacf23c407c33483f06775","datavalue":{"value":{"entity-type":"item","numeric-id":5739922,"id":"Q5739922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3a87428afc20b2f92887ca59393ab2a4b9eaf8","datavalue":{"value":{"amount":"+0.8283688426017761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q262979$90529887-81F9-4E8C-BB25-50E5C279EF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a39dd893fe45454ce181c4963fd81fd76cf086f","datavalue":{"value":{"entity-type":"item","numeric-id":5368926,"id":"Q5368926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436c6770f22365163c3a0a60d494e787f9caaab4","datavalue":{"value":{"amount":"+0.8165257573127747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q262979$BF5B1D14-8E12-4B44-A0E1-94CA8A227972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4144ee1a898dd9ef5e398a2a903ebfac2c4e1de3","datavalue":{"value":{"entity-type":"item","numeric-id":2834665,"id":"Q2834665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6d72f838d602f7ff66de2c0eeb0080d68921d9","datavalue":{"value":{"amount":"+0.8116681575775146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q262979$8475ADDB-BAA6-4B2F-BAF1-227DA342D1FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free and cofree acts of dcpo-monoids on directed complete posets.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_and_cofree_acts_of_dcpo-monoids_on_directed_complete_posets."}}}}}