{"entities":{"Q993499":{"pageid":995347,"ns":120,"title":"Item:Q993499","lastrevid":65749533,"modified":"2026-04-12T05:07:10Z","type":"item","id":"Q993499","labels":{"en":{"language":"en","value":"A 2-categorial generalization of the concept of institution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5788056"}},"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":"Q993499$8523D32F-02F4-46EF-A3D1-67118D2C9686","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b20b3593e2f2f04ff9fc43a4ebfa3033cbfa0ee","datavalue":{"value":{"text":"A 2-categorial generalization of the concept of institution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q993499$E54067D4-B589-4CE7-86DA-A75AD685B5A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8661f534b3c1672310afdd95230510fc036099a","datavalue":{"value":"1220.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$0E769219-BC5E-47C5-A2D2-37640554D01E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985857afe793c4fbf5738ab6e314ed28c93dd5ee","datavalue":{"value":{"entity-type":"item","numeric-id":929638,"id":"Q929638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$70C1CBE7-13E5-4A97-8EE8-6D86DF29A479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da2f4346d4fd64bafaae9a02ed69318dee8c29d2","datavalue":{"value":{"entity-type":"item","numeric-id":590975,"id":"Q590975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$50C7C6BA-7C58-4997-B5AB-54BA0BD067E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$5097B154-6975-48F4-AA57-75D6EFD7AAF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25a12ad0594443d505ca92af898ecd503f486793","datavalue":{"value":{"time":"+2010-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q993499$622A37DD-E0D1-4933-B756-1ABFE5340EAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f7ae3f3f6ca3f9f70ccf04e779e32b70c11331c","datavalue":{"value":"The theory of institutions was started about three decades ago by Goguen and Burstall as a categorical abstract model theory in order to provide a general uniform model-theoretic framework for developing concepts and result in computer science and logic in a way that is free from the often irrelevant details of concrete logical systems. Such concepts and results would be thus applicable to a wide variety of logical systems.  The central concept of institution theory is that of an institution, which provides a category-theoretic formalization for the notion of logical system that includes syntax, semantics, and the satisfaction relation between them.  This paper refines the traditional concepts of institution with a 2-categorical dimension by replacing the signatures category by a 2-category, the model and sentence functors with pseudo-functors and the satisfaction relation by a pseudo-extranatural transformation. The authors present at length a motivating example which represents a 2-categorical extension of the equational logic institution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q993499$8AAD7788-9E4F-4061-96DD-48A0E45D034E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$1CEAAB76-5E3E-4BEB-AEE2-5B560965F6F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$2B80CBE8-9B17-4316-A69D-D733F9695383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$553B9797-1643-4ABF-A189-DAD6B11655CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$1977D561-C1CD-466B-86C4-961246CAF7CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6641557979b106455f441134186d47aaa5fd2f26","datavalue":{"value":"5788056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$D4231518-6433-45BD-B363-6E46DD07BF97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q993499$188ED4BC-1D70-4D9E-AD6E-1AFAFFC881FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e64409933eebcb1235e7b7e6f91a9a990345076","datavalue":{"value":"generalized term","type":"string"},"datatype":"string"},"type":"statement","id":"Q993499$FED6AAE4-2D52-493C-9B47-6412FC3CB764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8efe64e304c36f6ef70fc1ad5b5b7f81a6db5834","datavalue":{"value":"Kleisli construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q993499$34FF8894-FD7D-4796-A4E6-39D7D5CC8D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899bf03c8279d8f2ed01703f6b75188ba5da2d90","datavalue":{"value":"institution on a category","type":"string"},"datatype":"string"},"type":"statement","id":"Q993499$FEA2811F-C2F4-41B5-AE49-369608CA8078","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":"Q993499$E8B33CF2-FFDD-4439-90B8-BB9BA2F2F3C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9262ef3f841a16a54d2e39309ebfaedbbd7f60e6","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9268-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q993499$3738BC24-3BB7-43EB-84F9-7289868B16AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8befdb60a15242e5774f98dafd9e07a0544e8237","datavalue":{"value":"W2056117375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$4FD63397-3212-4755-A743-AA87F0D0670D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$C0E53200-BC27-404D-879C-6B4ED7563F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$B9B70DE8-922C-485E-87B2-F187112A9B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899a78d71d266ce6d3cc87e90ca91792b6cf3ec0","datavalue":{"value":{"entity-type":"item","numeric-id":2703807,"id":"Q2703807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$9F590B45-0E85-4008-836E-869950D49227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f65308a516ceacc2e0490df7c26943ed27174e","datavalue":{"value":{"entity-type":"item","numeric-id":4682103,"id":"Q4682103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$45DF7D5F-D791-4250-9B10-865EE420FD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb9917ceb4c9bf9ac6d973fce547478dbb9bcbe","datavalue":{"value":{"entity-type":"item","numeric-id":3086528,"id":"Q3086528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$69668A92-F313-4AF3-B0D8-4C4C6B691D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$83F37C33-EEC9-4593-90F7-6A84713F0AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae708d8b20f899dd2270716c7b5874f1659ff49","datavalue":{"value":{"entity-type":"item","numeric-id":3269195,"id":"Q3269195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$4AC53653-D16E-4EC3-821F-095AA7808A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d916f0e9c246214a5818fb23f1c61390ba663b48","datavalue":{"value":{"entity-type":"item","numeric-id":5599190,"id":"Q5599190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$EE2F819A-FA80-4AAB-A8EF-BDEEAC3CAC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$C1D9A15F-9604-486F-99E9-12B69217FA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01ed8b5a37204cef6ea0de4534fe7bad8dcf3e4","datavalue":{"value":{"entity-type":"item","numeric-id":1059404,"id":"Q1059404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$068020C1-5580-478D-9452-6592D23BACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62af4ee11e4bb90d5d2a044bca3f8ca5ca4ec84","datavalue":{"value":{"entity-type":"item","numeric-id":1059405,"id":"Q1059405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$CD31F56B-1DDD-454C-BBF5-22DB548F9C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d504f8f758d30af6cf41a7818010f5320c73d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4723263,"id":"Q4723263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$7AED8114-85C1-4A89-BFA7-01DFB3C02782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$EFF22B9A-49FC-4B95-8205-07E8064A63DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$DA12EE74-A2C0-4E83-B1C3-27E732B0D477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$CBDCD20D-0FD0-425E-8C3F-6CA198BE77D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c47006e0f649af0d7c21aa92e85b1f9115edde","datavalue":{"value":{"entity-type":"item","numeric-id":2548616,"id":"Q2548616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$325D13D4-C0F5-4921-8915-E462FC05E5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47d2fee262f33e393f2f9f1f4a0ff74eb2ecb53","datavalue":{"value":{"entity-type":"item","numeric-id":5512211,"id":"Q5512211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$FB6DC4C1-AEF5-4F18-B1D1-240F327AA553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$41D399E6-5494-413D-8C0A-45067A182585","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":"Q993499$959569E4-DD2E-48A1-AFB8-7C52EC7BFBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$ED188F85-BB4D-44CA-8DF9-FB480852CB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d21a957d3df2cd260f6967f089782d8199c391","datavalue":{"value":{"entity-type":"item","numeric-id":5730920,"id":"Q5730920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$D97A0604-78BF-46D9-9A79-0C71E31FC362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0bd80e70dd130246f24fb3da749234f7501d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1183597,"id":"Q1183597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$B132534C-1EFA-4E6D-8CF2-05B97371A290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fedee4387bd72c28c4564ba8c0f4992a7d9ef85","datavalue":{"value":{"entity-type":"item","numeric-id":3265664,"id":"Q3265664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q993499$04B800BF-8B63-4BDC-BE35-F294B9EEA8F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"104955ab36d94c587dbb0993dda240ff31162828","datavalue":{"value":"10.1007/S11225-010-9268-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q993499$ABA90A16-5C11-461E-9A89-CB2C647F86F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcff830f12a4f39b92ac6fe66d8a9f7f892f9ea","datavalue":{"value":{"entity-type":"item","numeric-id":622025,"id":"Q622025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6477acacc2c3ac6a3b229558eeafe792b1d7ef","datavalue":{"value":{"amount":"+0.8444425463676453","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":"Q993499$F2DA5E19-A326-4CEE-87F1-FD398403965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c6b3bc01922861c8e67f24de56d202acf6a273","datavalue":{"value":{"entity-type":"item","numeric-id":4362966,"id":"Q4362966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0404b3ecb30ae38a5894b988f855d3f6e1a85d","datavalue":{"value":{"amount":"+0.827146589756012","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":"Q993499$1133754E-7365-4D1F-B09B-36B9B21641C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaebe6bd3282d86b8599facc91be5f3ab5a1e5f5","datavalue":{"value":{"entity-type":"item","numeric-id":3410686,"id":"Q3410686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7c28681a935b90f3ee68765b7dc84b1ed220aa","datavalue":{"value":{"amount":"+0.8150263428688049","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":"Q993499$69E72A6F-C3BD-459F-B033-9AAF17126497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e516355d90d4c32a01f39753eb9d1bf2f4d660d","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88bc0ec4dc1088c988c86ccb79adafd58b10ba01","datavalue":{"value":{"amount":"+0.809911847114563","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":"Q993499$B93955C6-055F-42E5-BA84-6AC58D40BBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdbce49fede6dce6817588def543800bf84602e","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac9538c1dd266cbed093440b9647f6a78367274","datavalue":{"value":{"amount":"+0.7809662818908691","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":"Q993499$DD1387CB-AC6B-4390-A705-ED882D51B70C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A 2-categorial generalization of the concept of institution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_2-categorial_generalization_of_the_concept_of_institution"}}}}}