{"entities":{"Q281082":{"pageid":282849,"ns":120,"title":"Item:Q281082","lastrevid":52526033,"modified":"2026-01-22T21:15:20Z","type":"item","id":"Q281082","labels":{"en":{"language":"en","value":"The category of monoid actions in \\(\\mathbf{Cpo}\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578681"}},"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":"Q281082$23C324A7-75E3-4705-9A16-984A4CF89194","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1465089557897827ab598731ed6c70dbfa1f5f90","datavalue":{"value":{"text":"The category of monoid actions in \\(\\mathbf{Cpo}\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281082$8BE92B92-F80E-4AA9-94C2-3B4C09CA3971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9b670e9f9949cab9bab8e81b7a15b968dbc8e8d","datavalue":{"value":"1344.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281082$F1F9D361-586D-4288-AE85-F29E1EC8A5F8","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":"Q281082$CEABCDCC-B89F-4E21-B800-CD2330C82F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88a8c0d90e0bd6167741ab775ba542a0697596e5","datavalue":{"value":{"entity-type":"item","numeric-id":281081,"id":"Q281081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281082$0D1B48CA-07C0-4EE3-A563-F1F1DADE4E72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e559c2da8d64c3fc4f585ef31bf29afc7b517c45","datavalue":{"value":{"entity-type":"item","numeric-id":193074,"id":"Q193074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281082$93EBBED3-6E4C-424F-97E6-911AE4DA11DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281082$350C0FA7-71F1-4B83-9776-B5B10A27BDE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67f9b74f8bb71d36d9440b141adf20d8cae5bc36","datavalue":{"value":"http://bims.iranjournals.ir/article_595_70.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q281082$B39AF911-3B3F-4E45-A1C3-1980D022A621","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7883c62bc0fa6dd9d2b394fa04d73bd1024cb0ea","datavalue":{"value":"Let \\(S\\) be a directed complete pomonoid (dcpo). A dcpo which has a bottom element is said to be a cpo. \\(\\mathbf{Cpo}\\) denotes the category of all cpos with cpo maps between them and \\(\\mathbf{Cpo}_{\\mathbf{Act}\\text{-}S}\\) the category of all cpo \\(S\\)-acts, cpos equipped with actions of a monoid \\(S\\) on them and strict continuous action-preserving maps between them.   It is proved for \\(\\mathbf{Cpo}_{\\mathbf{Act}\\text{-}S}\\) that: 1) the products are Cartesian products with componentwise actions and order, 2) coproducts are coalesced sums (unions of components amalgamated by the bottom elements), 3) free and cofree cpo \\(S\\)-acts over a cpo exist, 4) \\(\\mathbf{Cpo}_{\\mathbf{Act}\\text{-}S}\\) is not Cartesian closed, 5) monomorphisms are exactly one-to-one cpo \\(S\\)-maps, 6) an epimorphism is onto if and only if its image is a Scott-closed subset, 7) \\(\\mathbf{Cpo}_{\\mathbf{Act}\\text{-}S}\\) is complete and cocomplete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$FC78402D-6027-4A65-96C4-93BBF4DA9374","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":"Q281082$8B8BBF3F-B0BA-4078-815B-D959347469BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281082$CF3EBFAA-04DB-4254-8740-2F175F6857E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281082$E30D1771-3BD4-42D8-8484-E5B8C714331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281082$7CCD0678-172E-4ECC-A29A-17319CCE8148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281082$22952DF2-B9B2-4660-9081-58AAE07247B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cb854b82a87e33ddc5095769199306db20e3582","datavalue":{"value":"6578681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281082$5E57E00E-1D42-490A-857A-7070C7ED73C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466feea28f84459752a2ce710470b3f7e59bfb25","datavalue":{"value":"directed complete pomonoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$B2672FBB-9F68-4A5C-8E9F-9A5B66A22189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae899779868caeacea996282cddff78e6cd225c6","datavalue":{"value":"directed complete partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$C044B2FC-F8E3-4B50-8D6F-9AD3A9D8D592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02f88140f68fe9cc81a60da21301d57b03f1488","datavalue":{"value":"free acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$8679B727-E6EA-4B44-BC19-EAEB22173012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ff64978eb639b2c8dd2fe80de1c93e751fa0ac","datavalue":{"value":"cofree acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$CE6858C4-265B-40A1-A3DE-22B046D9F5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c81596cce119a1de9d0f2275853314f1541980","datavalue":{"value":"monoid actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$7213E608-461D-4936-95FA-ED43E43EE193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd12956df3bb29181af2c38ee6da9b42967012c9","datavalue":{"value":"products","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$715AEE6B-1E9E-4CAA-9AD0-46EDAE76E9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bdfaa358cd5ea108528dcdf691c8731b6f08c","datavalue":{"value":"coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q281082$488E52EF-8305-4E03-A26F-23BBC9D1461B","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":"Q281082$C6E5D624-A1AD-41F7-BC3D-BAB45F1C3C83","rank":"normal"}],"P1643":[{"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":"afad3404a360ba8de1ef019679dbda49768d0eae","datavalue":{"value":{"amount":"+0.9381086230278016","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":"Q281082$2C197CFF-CF9D-4A7D-897B-F00481CD6DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a21740c68a9c6b01d566c36b74d2191d0afa7a","datavalue":{"value":{"entity-type":"item","numeric-id":262979,"id":"Q262979"},"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":"Q281082$C0830E2D-D7B3-45F8-90F1-8EA1BE1AA56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a929aff5a4c502a0cf77b2cd408baceae925e0","datavalue":{"value":{"entity-type":"item","numeric-id":2491204,"id":"Q2491204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb782c683870ce0085e107e394ee2dc114dd42fb","datavalue":{"value":{"amount":"+0.8920893669128418","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":"Q281082$0F450858-5D16-47BC-9C7B-C35030904489","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":"524f6748dc331eb8da8615d847f7966444d4e8ea","datavalue":{"value":{"amount":"+0.8863298892974854","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":"Q281082$12FA646E-01AF-4041-9C1C-6BB10A38D95D","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":"78d8fe54e55bb89ef29923d64270349e0fffeee9","datavalue":{"value":{"amount":"+0.8806838393211365","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":"Q281082$D3FB0F08-4CD4-4497-86A1-ECA377F2EEA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:281082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:281082"}}}}}