{"entities":{"Q1400601":{"pageid":1411341,"ns":120,"title":"Item:Q1400601","lastrevid":67353627,"modified":"2026-04-12T17:03:25Z","type":"item","id":"Q1400601","labels":{"en":{"language":"en","value":"G-dinaturality."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963865"}},"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":"Q1400601$A8352D5F-751F-4507-A369-4EA6B535030E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332edb3d365257f19460ea94900ab3a13a3c75ec","datavalue":{"value":{"text":"G-dinaturality.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400601$9CA71E85-058D-4C0A-A259-FB4A763EE9C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e325b695ec199f119315b9c30d25c7466114e944","datavalue":{"value":"1036.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$FE9919AA-09D8-41E9-B3A5-97F7EBA7B97D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c5fa4d13f44f3efece9bb79b58309710fe0460","datavalue":{"value":"10.1016/S0168-0072(03)00003-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$DA3E7836-A8A3-4A85-A3DE-2BFA9FD9E77D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$B3ECA188-6CBF-4823-8AA1-134912B73945","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$EC7CA3B6-581E-4BB8-B677-6E29326D39CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-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":"Q1400601$5684E09F-2053-447E-A97E-A46B3BD02E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"662ea40d38960258f50d498e63330874b29c937a","datavalue":{"value":"https://arxiv.org/abs/math/0012019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400601$C526769E-475D-4777-8923-80DAF7C5611D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad56e4eeeac0f126da3500927aced551c41e4e7d","datavalue":{"value":"The notion of dinaturality is an important extension of naturality in the sense that the notion of ends in category theory is obtained from that of limits by simply replacing natural transformations by dinatural ones. Dinaturality is closely connected to questions of coherence. Dinaturality is also useful in constructing models of polymorphic lambda calculus. In this paper the author introduces an extension of dinatural transformation so as to give a criterion for preservation of dinaturality under composition. As an application he shows that all bi-Cartesian closed canonical transformations are dinatural.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400601$99F27222-932C-4DB8-9C63-48CE1E0FCBED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$E4E821ED-83A6-4C0B-8DCB-87B4CA55054A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$BAC03802-EB63-45AE-917D-9E089A0D811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$00D4EE43-9971-4189-9E28-490FF81C1926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$D8B3F264-3D30-43F2-8F76-2EE20A00B789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b1d9edeb19eca63b33026bff94dd0c23bfb2cc","datavalue":{"value":"1963865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$4D8A00DC-B78A-4AD5-B075-59CB10D88CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019b160a97e249835f4c0f7bed7d460fddaf7324","datavalue":{"value":"dinatural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400601$F0606172-C760-4E81-BBC2-E86FEB5E5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7487976e0f960fd263c361b2ffc0601f3498fed","datavalue":{"value":"bi-Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400601$486D3EFD-3126-40B2-8AA4-89D9380C513F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400601$B9CEB4D5-4E97-4396-B279-5DB99AAB12C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400601$B55512E8-3E0B-4BBF-A7D4-8363BAC34F4A","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":"Q1400601$593BE85D-C823-4828-AC43-C5DD188AB1CA","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":"Q1400601$B20849B8-0E4C-4B93-9D0C-C0B48FD2848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$4D02A157-5BE6-43ED-A923-20835C629D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac30472f3711a2478de68cf38d3ea22c8420b47","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$FC555F22-0801-49DE-900B-2BAA51B64B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0554d25411527ae0c14ad1ccd66f7624d940378","datavalue":{"value":{"entity-type":"item","numeric-id":1850951,"id":"Q1850951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$F38D4A04-7BAA-4423-B6CD-B11FC66B825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c1d96ada48dc11db6b0cdfcf169c2736372aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5626910,"id":"Q5626910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$F1F0A248-86CF-46CB-A405-CB74AF49A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897b983090a7e7931ca4c3b1f285f76249983ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2524062,"id":"Q2524062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$EF44F175-E74F-4C31-9437-D41E84566B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d910458719fa4b8b6b194265f13642c414193620","datavalue":{"value":{"entity-type":"item","numeric-id":4010357,"id":"Q4010357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$672F45C9-A5F2-4940-BA29-39C84361BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905955b20f38e3cc9a68e0485f12a2adb8368667","datavalue":{"value":{"entity-type":"item","numeric-id":2520847,"id":"Q2520847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$D4C67C1C-A120-4B9F-991E-0BBE5C6D544C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c74f19befc82d6bee17a0d5c1067ee47c28907","datavalue":{"value":{"entity-type":"item","numeric-id":5654206,"id":"Q5654206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$6FAEBAD2-8954-4261-9646-6FB2FF653C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$E4D03251-F15A-4960-8B0C-3EC775E7C43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$7A20AA19-3464-4EA8-8B22-FFB624D8C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$215571A7-9EEC-4DC0-BA37-7F66ACB0B059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$93546B9B-B6FE-4AEC-B3D9-BE9465EDE85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c121850e1a7817d22ab417cdca1a53e732d190","datavalue":{"value":{"entity-type":"item","numeric-id":4087978,"id":"Q4087978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$FE4BACC3-C61D-4150-88EB-3444883E4CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5519bd7e374cefe8cee8dbbba4654167b7e41bff","datavalue":{"value":{"entity-type":"item","numeric-id":579398,"id":"Q579398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$D835CDF4-1959-4512-826C-62DF7EE69A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab05e55e8a062ba3bd16df6a89c4df556370e94","datavalue":{"value":{"entity-type":"item","numeric-id":4097072,"id":"Q4097072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400601$40956959-9BCA-400F-8740-A602CD98B368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d6858cb2605e45005c29ed0f0c986de6aa92181","datavalue":{"value":"W4213132393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400601$948DBC0E-0941-4BBE-9CA9-D8E63B7ED02D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f7862dcfd39a6c91aeece3ddd7b850f092057e","datavalue":{"value":{"entity-type":"item","numeric-id":2031559,"id":"Q2031559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b0fabeb6543c96c8b45ed8db8e38075d67e3f7","datavalue":{"value":{"amount":"+0.7886431813240051","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":"Q1400601$A84AFB06-535B-4A40-AE64-55EA2876D437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a95827f645ce5c29307c9e9a7803f4a1ee80359","datavalue":{"value":{"entity-type":"item","numeric-id":1295522,"id":"Q1295522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3446353a25eed67d5468654ce00f3b099ec0a89f","datavalue":{"value":{"amount":"+0.771027147769928","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":"Q1400601$0C5CDFBB-DAD4-41ED-9E04-C8BD3F108E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfdb66e5160831db26dba960ad3446454fc08ea","datavalue":{"value":{"entity-type":"item","numeric-id":4010357,"id":"Q4010357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2d9c6a0e25be9ff88526b4aa023c9b2652feb3","datavalue":{"value":{"amount":"+0.7637227177619934","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":"Q1400601$4F0C1B26-0697-4FC4-886E-58EFE9ED14F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8f9c826a1ba2b0d627ca217c631a240fdd27d8","datavalue":{"value":{"entity-type":"item","numeric-id":685386,"id":"Q685386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4e064f2936998939efd5c486dde2163e2d4e86","datavalue":{"value":{"amount":"+0.7615400552749634","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":"Q1400601$EED9116F-877F-40E3-9420-9E7DAFA4ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ebcdb43103982ed85c0ed5387a7afe264687a9","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c0547e4f05bc6a783ef12ccd9d554f932ef24d","datavalue":{"value":{"amount":"+0.7611742615699768","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":"Q1400601$805EB762-8E38-4879-A665-F85B19217D3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"G-dinaturality.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/G-dinaturality."}}}}}