{"entities":{"Q685386":{"pageid":687235,"ns":120,"title":"Item:Q685386","lastrevid":63459744,"modified":"2026-04-11T13:18:17Z","type":"item","id":"Q685386","labels":{"en":{"language":"en","value":"A characterization of the least-fixed-point operator by dinaturality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417334"}},"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":"Q685386$949BD437-ADEC-4BD5-AA0A-A9C1EAB88DF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf7a951c12c89d5ddf06ae5e4ab40c6d6abb4890","datavalue":{"value":{"text":"A characterization of the least-fixed-point operator by dinaturality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685386$2C1BB6E0-1695-4443-9C70-AF5BBBDC66BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f7bdf7009192278b75fb3c72fe8ecc03e0070a8","datavalue":{"value":"0788.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$7B1727F8-667C-4CD4-8F3D-F14B713B1685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cfaeb9306e71cb6505fadd78f720ec903ebc9da","datavalue":{"value":"10.1016/0304-3975(93)90112-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$72FC9D33-559C-4CF6-BCF3-14EBECB17909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$5B9554BF-E776-4A36-8CD2-11246405B20F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$B1C4DBBC-1938-4649-960C-76CE559AABC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685386$26FA78EC-40B1-48C2-9C48-90E4403BA4F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35dd2e590bfa7272bfd39c6559fd2a1f09a609ec","datavalue":{"value":"The paper addresses the question of when the least-fixed-point operator, in a Cartesian closed category of domains, is characterised as the unique dinatural transformation from the exponentiation bifunctor to the identity functor. We give a sufficient condition on a Cartesian closed full subcategory of the category of algebraic cpos for the characterisation to hold. The condition is quite mild, and the least- fixed-point operator is so characterised in many of the most commonly used categories of domains. By using retractions, the characterisation extends to the associated Cartesian closed categories of continuous cpos. However, dinaturality does not always characterise the least-fixed-point operator. We show that in Cartesian closed full subcategories of the category of continuous lattices the characterisation fails.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$A1D3D7B5-3E3A-4887-AC08-DC5F7EC0F9CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$D4A2CFF2-1384-4252-95DB-B9A268EF1511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$034765AF-FFBF-4B35-93A4-F8ED26EAB796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$CC42F630-3447-4C8F-B04F-701BC142C959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85c259eed98c0acd0b00936d6ea09d6853547660","datavalue":{"value":"417334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$32AB3E08-929B-45A3-8F05-8D664D5A36ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$FF520D12-F7C2-45F6-A444-6652D5568576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4c4a90b701d918479d0302103345f8d85ed8055","datavalue":{"value":"fixpoint operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$1C5ABC6C-F3FF-4463-80ED-4A80F4D8F138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f11e6dd4fc2178492ed1585787db229487ad68","datavalue":{"value":"algebraic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$09DFDE6F-D53C-425E-926C-71110C8D1F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8873778a5b1adbf01fb9682e26ae36dc994d14da","datavalue":{"value":"continuous domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$43CA85FA-EBC7-4856-B681-FD9B15EC2CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc83dac3afd95d78cccae5c0aa52309d05b8178","datavalue":{"value":"category of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$617F1EFC-BFFA-404B-8260-D6B07A44F848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$06199AE0-FCDC-4847-B0BE-85575DF19211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8ca07ef157fb02af88419db71f8e164b635628","datavalue":{"value":"continuous cpos","type":"string"},"datatype":"string"},"type":"statement","id":"Q685386$746D71A8-0648-4FA8-92B4-9BDFD0BB349C","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":"Q685386$15CD7AC9-A016-4433-B0F6-886D1055BEA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d76750220ab0091aa2ea081c955bbe43a3534aaa","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90112-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q685386$FE2C3E99-4B59-4E66-B543-64EE60D304A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5138b0fb6e6667337bc91b55a9f3bef1969d454d","datavalue":{"value":"W2099628768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685386$E47BCC31-5999-4E33-B9ED-83BD6E7B491D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$FAC95247-45A3-4A79-8245-76CCD1CFB8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$5BEE919F-2C7F-47E6-B9B5-322E19619AEA","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":"Q685386$17C1032F-26F5-430E-AE3F-7E5CC10288F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd45e777b215572733ffffcf3fb4360b4657ce05","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$20F45351-AB65-448E-8B10-7BE4EF1EC9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$B5F798AB-E0C1-425F-B431-DFB1425ADA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5598cf522edbbba51e11baa5b22dbc2fb83702e","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$DFFE7BD1-EB5B-46BD-AC70-09CDD227E7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685386$87FEFE93-5734-42AE-9B3C-ADA61D4E8494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e786e5d16f490e364a5c5d2fb15592e01ee620c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b40c4f4af08fb4a9ee81d92cf1199e73a86299c","datavalue":{"value":{"amount":"+0.7967996597290039","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":"Q685386$BE40B0F4-3AFC-4094-8DE4-68B600B1E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03af741bf23e060bcfa1ce7936f346f5f46d2328","datavalue":{"value":{"entity-type":"item","numeric-id":753945,"id":"Q753945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26aad628d353dc6e2f9807d580bd85507e08436f","datavalue":{"value":{"amount":"+0.7916701436042786","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":"Q685386$CA0EDFEC-956A-4920-93B8-EAD84FE82D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30203f47bdef4ce69358bdde5dfe8f5b2b0a067f","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc9dc1d0dc45618de197938497c33238152fd80","datavalue":{"value":{"amount":"+0.7775753736495972","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":"Q685386$A47022E9-328F-44C9-9CEB-50A50D3613C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95aac2f2b0a162292722e77dfdfedb1dab95d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3138544,"id":"Q3138544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c396306a6a14fffe4de62606afeeddc2f03b7e65","datavalue":{"value":{"amount":"+0.7694574594497681","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":"Q685386$7F122055-C985-49FC-9AE4-A2952FAA57B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e360565ea58d407716eeea08d8a930899e9af676","datavalue":{"value":{"entity-type":"item","numeric-id":4279245,"id":"Q4279245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa1963a2e031f8d26f51e0d409d822c88dcdf7f","datavalue":{"value":{"amount":"+0.7694573998451233","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":"Q685386$49079DF9-CFBB-409E-8D76-038BEE42875B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of the least-fixed-point operator by dinaturality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_the_least-fixed-point_operator_by_dinaturality"}}}}}