{"entities":{"Q2423834":{"pageid":2434577,"ns":120,"title":"Item:Q2423834","lastrevid":57911943,"modified":"2026-04-03T01:35:34Z","type":"item","id":"Q2423834","labels":{"en":{"language":"en","value":"Presheaves over a join restriction category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069465"}},"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":"Q2423834$BF25DC89-F45A-4299-94E9-E39C94F410DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71e290323af2b3ffc80b2f7fbcb32f650a8dfd73","datavalue":{"value":{"text":"Presheaves over a join restriction category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423834$E35998E1-DDD6-4182-87C3-7A824A8C03C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78852ea2e29064a56a240acbf17481fc3f041ed5","datavalue":{"value":"1420.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$3B358692-5C94-4958-9899-B15ADF34943A","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":"Q2423834$92F06726-3F55-4CE0-B4C9-BE40CFEB41E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-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":"Q2423834$737ADF89-1C12-4DD0-A1DF-97755DE788C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6b62ac27d53d1df11cc19665d30c8a76663a38c","datavalue":{"value":"https://arxiv.org/abs/1801.07390","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423834$33042B64-04BF-4436-8D1C-F6513281936E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a928c7ee185a269911dbcacd33014ac93dcfa58","datavalue":{"value":"The paper [\\textit{J. R. B. Cockett} and \\textit{S. Lack}, Theor. Comput. Sci. 270, No. 1--2, 223--259 (2002; Zbl 0988.18003)] was the first to both isolate the restriction structure and make its connection to partiality explicit. Restriction categories are intended to capture the degree of partiality of a map \\(f:A\\rightarrow B\\) through an idempotent \\(\\overline{f}:A\\rightarrow A\\), known as a restriction idempotent. The paper [the author and \\textit{R. Garner}, ``Cocompletion of restriction categories'', Preprint, \\url{arXiv:1610.07164}] gave a definition of cocomplete restriction category, and introduced the notion of restriction presheaf over a restriction category, showing that there is an analogue of ree cocompletion in the restriction setting via the restriction category of restriction presheaves. The principal objective in this paper is to extend the work [loc. cit, \\url{arXiv:1610.07164}] to join restriction categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423834$56BCE9A7-960A-4CE8-BEFE-2E13470A6225","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":"Q2423834$42DF5D45-85F9-433A-9F40-42A48A2C53BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$FB2E87D2-CBC2-44CA-AD46-E810CF3D060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$98395D66-5D4A-44EC-A5E7-E60C045585CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e412cba3de93040329c63dc62c215ce1e62405af","datavalue":{"value":"7069465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$E74482D9-7336-42E4-8C74-B1DE82D7CCD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af87e4876e13ce2c73ea30d3463ad510eca02a70","datavalue":{"value":"join restriction categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423834$6CB6EBC9-0CD4-4B14-9FCB-DB6CBD91E0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d808b3275130ea7041eb2f0b2187e51b2aa292bb","datavalue":{"value":"join restriction presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423834$74860E04-01D6-4689-9E51-842DB6A5D26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423834$50CA9562-1235-43B4-80B9-F9B169C61464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850ead0d289024780bdc81fb3dfc8854815d4d6b","datavalue":{"value":"cocompletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423834$2AA70B68-FF8B-44A7-8DA2-36C1BF4D344E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95ba3c83176b283c41c1d2643394ea9b9d9aa552","datavalue":{"value":{"entity-type":"item","numeric-id":1621023,"id":"Q1621023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$77F0896E-03D8-4EDC-A053-2C8A3C01AED2","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":"Q2423834$705F875F-7024-443C-A70F-017EE0BA799F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6df651574d2066adf4200e5b7c0f8483bc2bba71","datavalue":{"value":"W2963905302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$CE830D9D-6761-4D11-9F5C-F056F76F4B3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad01d365f44a1279d88d0158ed35826d6dbe96c","datavalue":{"value":{"entity-type":"item","numeric-id":3411949,"id":"Q3411949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$7509C36A-BEEB-4B04-B900-295A0118EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$0BFE1BE8-92B9-48DE-82FA-1A035F86261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b8960949e22d89199b69c7dfa16333a87952b","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$94AF15BF-C5DD-44C2-85FA-D15048725FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5085c28bcb3b483086eb16ab66fd7b66d37d5df8","datavalue":{"value":{"entity-type":"item","numeric-id":3625678,"id":"Q3625678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$69E5AECA-3238-4ACE-99FC-70E08C3FA5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397846898dc0eb528b4e23925a126fc41d923fab","datavalue":{"value":{"entity-type":"item","numeric-id":3794173,"id":"Q3794173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$76069CC6-48B1-495D-9512-DAA89EE00176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4034fbd9a7c0515bcc280c0e0ef6f8821a1433e7","datavalue":{"value":{"entity-type":"item","numeric-id":3294959,"id":"Q3294959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$FC7615BF-403F-4509-8ED1-8D56207C48B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409ccf65e0612e52541d6410619fcc990133c280","datavalue":{"value":{"entity-type":"item","numeric-id":1176043,"id":"Q1176043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$62837A7D-3473-490A-B3DE-7FC2243DB45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$CFD825E9-07CA-434B-8AA4-D748686E1B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$9C9A0350-6413-494C-829B-40641131A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$24490EBF-5934-44BA-94B7-3EB025A4EC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0691e21ed553f2a4405e920d999bdfdf70ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1109871,"id":"Q1109871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$DC1C43C3-2A52-4205-A92F-A18EE5FCD329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8500eada3f97d2f4d3a585ce9f7bfe32f622ad2a","datavalue":{"value":{"entity-type":"item","numeric-id":3156507,"id":"Q3156507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423834$DD485007-E275-4C07-B809-430C79159559","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1ed28ba4cbc812ebbe639e2493d3c6bc28e9504","datavalue":{"value":"Q128637738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$6B2BE834-14E6-45C4-B119-BD8CDCE487B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcabc77d50eb920750569efe1a57d78bbd6eae5f","datavalue":{"value":"10.1007/S10485-018-09555-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423834$F203C49E-7AC4-41ED-B143-9DC951842F29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b010f11a119e1f13fb95074bf6892685249e64","datavalue":{"value":{"entity-type":"item","numeric-id":2435310,"id":"Q2435310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0b8f164983f55a9483280c1979280e8a884636","datavalue":{"value":{"amount":"+0.8256876468658447","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":"Q2423834$F8B9B7D3-E7F2-403A-A7C8-F8788189F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dd6002b5e16643e54a6a49a9dde3a47aa934dc","datavalue":{"value":{"entity-type":"item","numeric-id":3294959,"id":"Q3294959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10042cc8bbd1b5f25eb5fdd5fc037c13506de8f","datavalue":{"value":{"amount":"+0.8084698915481567","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":"Q2423834$13B9243B-CD86-45DC-8B2C-EBBE246B8E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fac902b39c4322e0319b2c4fbe1c747c15c8064","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb1a21a29330ff419a797d5d6787e70bbca3201","datavalue":{"value":{"amount":"+0.7968015670776367","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":"Q2423834$8FB9198E-99F6-4636-8C8E-CFF004D1134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66276c232652fa872f2cd159c53544d05351ee21","datavalue":{"value":{"entity-type":"item","numeric-id":5756980,"id":"Q5756980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd94f53f3de6f4dfff8ea8bf0b5bfa1bba243f1","datavalue":{"value":{"amount":"+0.7868530750274658","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":"Q2423834$019A65D2-3D47-45E8-B3F4-958C462ED032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce82744f2f606d72415b0a6225329c6306746211","datavalue":{"value":{"entity-type":"item","numeric-id":4994671,"id":"Q4994671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a94bea3704c63c27128bd6b5ad871e8fc3c484","datavalue":{"value":{"amount":"+0.7834796905517578","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":"Q2423834$BAB876C8-4B83-4F83-91AB-20EE0795D8F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2423834","badges":[]}}}}}