{"entities":{"Q5930757":{"pageid":8107559,"ns":120,"title":"Item:Q5930757","lastrevid":47603296,"modified":"2026-01-02T04:57:27Z","type":"item","id":"Q5930757","labels":{"en":{"language":"en","value":"Iteration 2-theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590597"}},"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":"Q5930757$AED523B6-92FA-4A0E-8515-4C3DBB06541C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e336c3a0214c9365d6d698ce6b32a7915bfb6b","datavalue":{"value":{"text":"Iteration 2-theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930757$FD1C1086-172C-4173-936B-787D4C0B3B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4261908ad304928cb03f0f1aa80207a9380b6670","datavalue":{"value":"0981.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$D54EE87E-E804-4514-ACCE-B867273185BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f835d1cc835794fd7376d22720891113e1b57075","datavalue":{"value":"10.1023/A:1008708924144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$2F3A1221-64FE-4CE6-B723-E953CE9E1FC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930757$9AABF872-D69E-4E62-94EB-F027F73A6A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930757$F4726B87-2FA6-4850-8C41-AD252DBD89F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cca12677f2478e2b66d7a7a0ac2c7062b971caf","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930757$D645E771-DA44-4611-B557-39F016105496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930757$ECD60BE3-A376-496D-8188-8AE2E6629797","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930757$CAADF2EE-9965-4BCB-8853-CF307743CE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7a5494c92a046f682164335d6adb9be84d31ccb","datavalue":{"value":{"time":"+2002-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930757$26E82AE2-6945-4FB1-A052-580A82A91351","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dff0ec676b3aad559c73aed16100a61ce6085c27","datavalue":{"value":"Algebraically complete categories are important for computer science. Actually, they are exactly those categories in which one may define recursive data types in a canonical way as initial solutions of recursive functorial equations corresponding to data type specifications.    An algebraically complete category \\({\\mathcal C}\\) with a collection \\({\\mathcal F}\\) of functors \\({\\mathcal C}^{n+p} \\rightarrow {\\mathcal C}^{n}, n, p \\geq 0\\), implicitly specifies a dagger operation \\(F \\longmapsto F^{\\dagger}\\) on the functors in \\({\\mathcal F}\\). This operation can be extended to natural transformations \\(\\tau : F \\rightarrow G\\) between functors \\(F\\), \\(G\\) in \\({\\mathcal F}\\). Viewing the functors in \\({\\mathcal F}\\) and their natural transformations as a 2-theory, i.e., a 2-category with Cartesian structure, one obtains a dagger operation defined on all 2-cells. This dagger operation, defined both on functors and on natural transformations, or more generally, on horizontal and vertical morphisms, interacts smoothly with the categorical and Cartesian structure. The study of this interaction is the topic of the present paper.    The authors give an axiomatic treatment. Then they introduce a new concept, iteration 2-theories, that generalizes (ordered) iteration theories. By describing explicitly the structure of the free iteration 2-theories, they show that the axioms of iteration 2-theories capture, up to isomorphism, the dagger operation in algebraically complete categories. Their description involves regular trees and they consider some applications of the axioms of iteration 2-theories for manipulating tree transformations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$04C7D676-D399-4AD2-9E4F-4C1574D4527D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"14df87f03128769fb7e76235928bf393d9238874","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930757$BDFA1D15-61FE-4D70-BC06-0FD148FF1159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$77FF1BB8-AE20-4609-AD5B-EA4AF2A38F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$5CDAACC3-76C8-47A3-8453-7EF51A65FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$B68C4533-EBC1-416A-9B05-DD018A5D5E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$27C07861-6E4B-4B21-B060-4CE42DA79EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$29405B6F-F784-48EE-B60A-70B9FA04453D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$DF7D33C8-AD6A-4956-B1A1-39EE15F5855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$8FCA7DDF-4389-4418-A6B5-B7A4E2EFF565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b1486c15882e45ca63eb592053a95fd7c0ae77","datavalue":{"value":"1590597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$1CD96557-58EF-40CE-A2B1-95C387268705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$9E62F6EF-1A4B-4E74-95AC-5FA75800B46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7656e9fd025828a6267e725707cc84232244e881","datavalue":{"value":"iteration theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$CA7A68C6-BD80-4EFD-AF63-520D8B4B716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$F656F640-6DB4-4AD8-9397-0C80098C0B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aff850748ce92b89a9e19ecfa9854f63f9cbcef","datavalue":{"value":"algebraically complete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$C035385B-638E-4F28-81C6-9FE4CADCDB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c875ed50027fca39fa952fe3217c224ba92b55b","datavalue":{"value":"recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$93B15A3C-D276-40C9-BA01-CF45A4BE4A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81679b9baeba0733df66b8e0740dd2d88cf4f490","datavalue":{"value":"recursive functorial equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$8B8E20C1-0816-4B12-A6B6-5750C4D3A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158732d194a22169613049278f78b9fb482635ab","datavalue":{"value":"data type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$01E08655-375C-4271-B47E-E96138AC07B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ea93533a32275d631b5c7d03c4190f4e9126df","datavalue":{"value":"dagger operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$83D0F09E-8408-469A-9C1B-48B0A6E10D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ef5c92611653c168f518c4743a9a3857418d33","datavalue":{"value":"2-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$85497500-5820-45E4-ADBB-7A29DF34D501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5723fe4ed0ec6e041ed497cba77366231bf9bced","datavalue":{"value":"Cartesian structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$A115D208-0FE0-49E0-9503-67D7CDF3CE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29ca336072ae94a5956b220f122b324d515839","datavalue":{"value":"regular trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$C2E2A184-2AA1-44A9-B4AF-3A2D84E1B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf5b1135aec66c7dfd4efb40de398bbfb469f69","datavalue":{"value":"tree transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930757$EA6A9C39-4B6B-471E-9D84-72D6AA4DD978","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":"Q5930757$88AE6BD7-297E-4300-9A1D-721C1A473BE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aebabef397328d029666acea1aa60df50436a5de","datavalue":{"value":"https://doi.org/10.1023/a:1008708924144","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930757$15B6354B-0AA7-4294-9FFF-07C80DC897C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01a37d6d2ec49d68e7d24a28ac5cf0c0504eeb7c","datavalue":{"value":"W2157488580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930757$47FB87E2-E030-4E84-AB16-95C850389A2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d42854b4c5b86bb550a71004f98cd70aedf48c5","datavalue":{"value":{"entity-type":"item","numeric-id":4373552,"id":"Q4373552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc4898fc499c31bf0e8455221a2a327e728ed79","datavalue":{"value":{"amount":"+0.8237763047218323","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":"Q5930757$F4709221-A046-4F90-BE46-3E2FEA1B91C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50f13c9c853d93ed394147dfce61b7886c409a2","datavalue":{"value":{"entity-type":"item","numeric-id":1128480,"id":"Q1128480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616978362e38a8d45ec85c4d94635b48f4f7d265","datavalue":{"value":{"amount":"+0.803958535194397","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":"Q5930757$1E7DF25B-540C-48CA-B97E-96F4A2A3863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f52c2318bfe836664adb32325dcd6e1ce1780f","datavalue":{"value":{"entity-type":"item","numeric-id":4375811,"id":"Q4375811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ab2fd0354ede655c42c291b4f46f006ad702d3","datavalue":{"value":{"amount":"+0.79763263463974","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":"Q5930757$8F05E830-7209-4FDD-8874-0D78ADE056AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0625918869d8e97af9bf9fa2b1e4ad37888f5ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5203698,"id":"Q5203698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6d62e301b8bbd98917a6bbf9ba5a19a2f27c65","datavalue":{"value":{"amount":"+0.7870065569877625","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":"Q5930757$6B8AC46A-11BA-4F38-8DC0-DAA728C1128B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0517aa9800bcc88bebde68e418638f3ce29bd889","datavalue":{"value":{"entity-type":"item","numeric-id":1767976,"id":"Q1767976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b24dfae44e271059954dc46a220f6531e03d7c9","datavalue":{"value":{"amount":"+0.780901312828064","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":"Q5930757$10FD915A-9921-40EC-8B56-598C2E5F5270","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930757"}}}}}