{"entities":{"Q2884470":{"pageid":2895195,"ns":120,"title":"Item:Q2884470","lastrevid":58039689,"modified":"2026-04-03T13:48:26Z","type":"item","id":"Q2884470","labels":{"en":{"language":"en","value":"Differential restriction categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039015"}},"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":"Q2884470$67B31469-9233-420E-BA7B-4AE2D3E760B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"808a6c42c05a1ca21383bb51987138bc539730b0","datavalue":{"value":"1260.14004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$E2553608-ED32-4B16-AF6B-75414DCA2903","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b82271ee872851bd425ffaeb1c30add0dada4f0","datavalue":{"value":{"entity-type":"item","numeric-id":1744377,"id":"Q1744377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884470$0116D1BF-B408-425B-833A-8E4B610FD501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884470$F2EE28EF-09F4-4A91-B1C2-936F19747B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8efae380a74f1eb6136b2afcb61a3e9bc223b84d","datavalue":{"value":{"entity-type":"item","numeric-id":6166780,"id":"Q6166780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884470$00F99B95-154F-4689-8842-6F33E93CF5D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d8047b677a36e307cc9bbb6b9315bc65a6f74ae","datavalue":{"value":{"time":"+2012-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2884470$0CFFB21E-3935-4E3E-82B6-06A8BE77F0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77da97cc597b43d6e69a7d67e2918c3f8b858284","datavalue":{"value":"https://arxiv.org/abs/1208.4068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884470$5D07B545-3725-469F-82A5-AD65D9A16F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3f668d161f52486743ae4cda2f425b04a5fab7d","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/25/21/25-21abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884470$ED4F0B79-C84B-4FAF-AE09-77356A77FE28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc4bf3875ed9809536161f66fd244a6dc55a1b32","datavalue":{"value":"14A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$257CBD84-98E2-4B82-8BB9-09016737FA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$4FBBDD8C-036E-465E-B185-D5E963075FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$7AD96CDF-A2DB-4B3C-9A2D-923CF55338F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$70037319-2C2D-49E2-AAC8-855C73409AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e1097c070cd84f3c3fde892350cde0c34c3d450e","datavalue":{"value":"32W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$B91000C2-B462-47B8-A339-525FBE4F5D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"adfd66b133cf3e7465f67205f157bc1143f2b6a1","datavalue":{"value":"58A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$550D52D4-2CE6-4465-92A4-5B50D71D72F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67b45ddf9005d07bf22a020a721e579da6d98a3f","datavalue":{"value":"6039015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$B850BCCE-D596-4340-A9B2-E39530D75AC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a38955ddc9b1d82bd1ed54ea242f8057c89293","datavalue":{"value":"differential category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884470$4A22354A-B4AE-47C4-9509-2D3BA3368186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f843f88d6a031ae21e826d287ef75cfaa4660956","datavalue":{"value":"cartesian differential category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884470$743FE241-EEBD-444D-BB09-B49D595B44B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b350bf4a50c493f2e086a32ddc28c53a3ab5b0ee","datavalue":{"value":"restriction category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884470$598E3966-F5FD-4CF7-BFB5-A3A63F2261E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253b275bb85f7706bbcb36d34a581c6f5bef7b9d","datavalue":{"value":"differential restriction category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884470$43EA1AD4-52AD-46E5-8AAC-162841754C5B","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":"Q2884470$B5AC82B0-7E9F-4A6D-8FFE-0CFC372CEE89","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"65b7c14feb76938855246370180afb1c869d9bf0","datavalue":{"value":"bafkreidpihx6pvthkajmytgagwglqan3a67errrk27cv7ecfy7tbcefzje","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884470$9D0EE3FC-742F-4CD9-95B5-3D3B448E852C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e392c86b1c596fb0542dace23bb7783a4464d4","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a690ae09c8bb7bdcd1f38271234f5818f82b60e1","datavalue":{"value":{"amount":"+0.939698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$3D9DD78C-7FC0-457F-B4CA-1787CFBD91C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8f13feae1c0518ac2f452ead881d873de0fc20","datavalue":{"value":{"entity-type":"item","numeric-id":2307523,"id":"Q2307523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08782fc31619150e15145ecba51be05ce2f592ad","datavalue":{"value":{"amount":"+0.91739553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$653F9E5D-5728-4E89-930D-3D76F56CA3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80d895470c02950139cd999aef3600931b0434e","datavalue":{"value":{"entity-type":"item","numeric-id":5489372,"id":"Q5489372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f38b4e3550d1432e15d61c6739ecaaf5a2e387","datavalue":{"value":{"amount":"+0.9090741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$6385F801-05AD-4B93-BA40-CF4465400133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31387fc25e999b9b8567e1b875cb20ab8ff182a1","datavalue":{"value":{"entity-type":"item","numeric-id":2390501,"id":"Q2390501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf67482ddc6daca2584782c99dd9978435456bc","datavalue":{"value":{"amount":"+0.89856535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$61C2A093-AFAD-48C2-A284-D58A246EC730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e76bcb12709b364bb4c7644f7c13c25f559b71","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0bbb6868842690eabe74a951da0ddf3f478bbb","datavalue":{"value":{"amount":"+0.8961371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$58B735F2-CB21-4009-ABAF-B79DE551A43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcc329b84c63d6fa69b8b53d405adfa7ed9f7a1","datavalue":{"value":{"entity-type":"item","numeric-id":5195282,"id":"Q5195282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d09a3ea4fb6555f4425f9e35e1c492e2752c34b","datavalue":{"value":{"amount":"+0.8959017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$C3DE9BA6-CB67-4DCF-BDBF-454D50473C6B","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":"76158ce7bfcf89a94bf47217af4c7d07dbf67d44","datavalue":{"value":{"amount":"+0.88949513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$D016EA75-7138-4D85-93DC-2DD780E52A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3a26505d60dadcd1ed5514451da28e006f6da2","datavalue":{"value":{"entity-type":"item","numeric-id":1814972,"id":"Q1814972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a812247377dfe8775e78229a9b9918ce177ea52c","datavalue":{"value":{"amount":"+0.88849676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$283D7918-6839-47EC-BF53-A4F1F595CB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc8eb221a1ff67ffbafb73fa338883dd2995d07","datavalue":{"value":{"entity-type":"item","numeric-id":4295837,"id":"Q4295837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b92621ac36c29a9c96adda98428b20770f60f4f","datavalue":{"value":{"amount":"+0.8872144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$674687CD-3D8D-4496-B125-7EEACD515A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f319ada17a963093cc9fe39e2d8308a1f832bce","datavalue":{"value":{"entity-type":"item","numeric-id":3803828,"id":"Q3803828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79519bb8e8aa953bfedc54b879583fe00668132","datavalue":{"value":{"amount":"+0.88682544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2884470$77234BE7-6700-4E44-8EFA-9DA3AADB3E0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2510cb9e40ca43f998de3dc9115fbd3b0a3bdfb8","datavalue":{"value":{"text":"Differential restriction categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884470$2B943DE1-134B-4544-AB62-B8AD25B2D016","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884470$99A16AD5-C7FC-46BE-B6CB-B9C471A9B00B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e58844576783f078e7981ed814eae18e67623542","datavalue":{"value":"In [\\textit{R. F. Blute, J. R. B. Cockett} and \\textit{R. A. G. Seely}, Theory Appl. Categ. 22, 622--672 (2009; Zbl 1262.18004)] the authors proposed a more direct approach to differential calculus than their previous [Math. Struct. Comput. Sci. 16, No. 6, 1049--1083 (2006; Zbl 1115.03092)]. In the latter a differential category is an additive symmetric monoidal category with a comonad and a differential combinator, while in the former their emphasis moves from the linear notion to structures resembling the coKleisli category. The present paper proposes to combine cartesian differential categories with restriction categories of \\textit{J. R. B. Cockett} and \\textit{S. Lack} [Theor. Comput. Sci. 270, No.1--2, 223--259 (2002; Zbl 0988.18003), Theor. Comput. Sci. 294, No. 1--2, 61--102 (2003; Zbl 1023.18005), Math. Struct. Comput. Sci. 17, No. 4, 775--817 (2007; Zbl 1123.18003)] so as to allow partiality of maps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884470$2A1A8419-42B6-4A4C-BAE1-72A055EB2160","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":"Q2884470$259CE859-10BB-4230-9DC0-6A5674BE6BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2884470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2884470"}}}}}