{"entities":{"Q1123254":{"pageid":1134003,"ns":120,"title":"Item:Q1123254","lastrevid":70117419,"modified":"2026-04-13T12:33:33Z","type":"item","id":"Q1123254","labels":{"en":{"language":"en","value":"Cartesian closedness in categories of relational systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4108980"}},"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":"Q1123254$4F8E2020-099E-440D-89F1-CFBEC4654032","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a649d14b74bcd7977d1a13fe7d083b2a38022355","datavalue":{"value":{"text":"Cartesian closedness in categories of relational systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123254$70F33B31-9283-426F-930E-2528961869EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"093408c1b2a65d5c04e945d20360c98097ed735f","datavalue":{"value":"0677.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123254$FA82956E-8BAC-47AA-AFC0-4E446DF57B74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ce46e79788bcd93469a0b9d4d14dc3f05286e9b","datavalue":{"value":"10.1007/BF01237574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123254$A7C4B8A9-99B3-454C-9BA4-6F839F5C9AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6af647a6737f985b4a05f48bb3566efa4d11ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":175167,"id":"Q175167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$E155AA7A-A5CD-415D-852D-D4C2ECA76493","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$773E39BF-0962-49DD-8F19-869220BD90D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1123254$3D54E008-513D-4006-93CA-B1206ED70BD5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54d85056a430a22fc21ab1d53914c397df182dc1","datavalue":{"value":"Two notions, called reflexivity and diagonality, for relational systems (considered as sets of maps from an index set I to some set X) are defined. A system is reflexive if it contains all constant maps. It is diagonal if (for \\(I\\neq \\emptyset)\\) the existence of two families of maps \\(\\{r_ i| i\\in I\\}\\) and \\(\\{s_ j| j\\in I\\}\\) such that \\(s_ i(j)=r_ j(i)\\) implies that the map \\(t(i)=r_ i(i)\\) (i\\(\\in I)\\) belongs to the system. Let \\(REL_ I\\) be the full subcategory of the category of relational systems with index set I whose objects are reflexive and diagonal relational systems. The main theorem says that \\(REL_ I\\) is cartesian closed for every set I. Some examples are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123254$E1B4C535-1383-4EEC-B59E-C1300E00B9B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123254$69BEB875-DC4E-46E4-A37A-025D317B314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123254$650B7435-6A51-48C4-8C39-067A0754CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123254$35180B6E-4646-4256-8E36-C7D789CA0078","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70bebd4b512e0205fd7654ee9bfe7eb3ea7ed8d6","datavalue":{"value":"4108980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123254$9CF67EBB-0D16-4E2B-AF90-743F838514D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123254$1A18497D-BCB6-45B1-A596-2FE1076DF89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19f1c46d9e3fcdba22b4385558e70da3414a69a","datavalue":{"value":"category of relational systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123254$4D40112F-B6A0-4461-9A2B-7CFC10D20498","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$C009AAE7-B6B9-4F98-A82E-85EA5E3569FD","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":"Q1123254$2E43A09B-DC72-4964-BC7E-1AD6402FA667","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$78A6C6C0-1D6E-4625-B304-A5253FA45F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3925d6eb2d35d7ac2c492b03b72b02f1c0fe849e","datavalue":{"value":{"entity-type":"item","numeric-id":4079792,"id":"Q4079792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$AAE2073C-3F41-4C39-9EFC-DCA82B1D7CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b30689fd13bb7639addf29ca684883c154ba233","datavalue":{"value":{"entity-type":"item","numeric-id":3701490,"id":"Q3701490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$ADA798F1-3CE7-425F-AADC-71415C3DD3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f98130fc0d706295523750fb85da63c3b9643c","datavalue":{"value":{"entity-type":"item","numeric-id":2644753,"id":"Q2644753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123254$3CD842F8-5C9A-4D5E-90C1-EC1B37017759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34a6a93a9ee9b60841d9a6c4985d91d9cdbc7e1","datavalue":{"value":{"entity-type":"item","numeric-id":4240502,"id":"Q4240502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5443b0644c6eb8a2b4a3e54409f8c9f8deda9c40","datavalue":{"value":{"amount":"+0.8531625866889954","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":"Q1123254$CBC06BAE-E8C3-4498-BCF3-B1253BDE97B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f75b730dd2d4a0cb36b45b118af56966ca6aa66","datavalue":{"value":{"entity-type":"item","numeric-id":4204190,"id":"Q4204190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e506566b0cf3938ef65de66509044dc46996d2","datavalue":{"value":{"amount":"+0.795993983745575","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":"Q1123254$2E7B7A61-B342-4B7F-9114-9AF65C721802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3436d9f91975d76888b139d9b6f71de320167c99","datavalue":{"value":{"entity-type":"item","numeric-id":4006295,"id":"Q4006295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a654cfb67967c1051a0cabd5e97c1dbfb5bba8","datavalue":{"value":{"amount":"+0.7899200320243835","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":"Q1123254$A1644110-0BD4-463C-8812-FE9DFF7D3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d4bcde248b7a87901740258d850cac0f4761f5","datavalue":{"value":{"entity-type":"item","numeric-id":4886951,"id":"Q4886951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ff2571ff9e65cd623ba92aad0776378452f2e1","datavalue":{"value":{"amount":"+0.7491780519485474","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":"Q1123254$DCF92403-480F-4DBC-9E3E-B116CE709E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806bb45f968d17e3daaea21ec32f01cc1d94f9e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277390,"id":"Q4277390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0d499b73f2368796d0ab91bb5c6f555394dcfe","datavalue":{"value":{"amount":"+0.7476904988288879","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":"Q1123254$363B7896-EE20-4C6D-AD82-FADBB0E1EEA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cartesian closedness in categories of relational systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cartesian_closedness_in_categories_of_relational_systems"}}}}}