{"entities":{"Q1398462":{"pageid":1409202,"ns":120,"title":"Item:Q1398462","lastrevid":70331472,"modified":"2026-04-13T14:03:29Z","type":"item","id":"Q1398462","labels":{"en":{"language":"en","value":"Restriction categories II: Partial map classification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956188"}},"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":"Q1398462$78C6BC9A-3CD6-4471-9D38-9CE5B021F5CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bfd0b9900e2304d52a7a36a6e15bbbe400d168d","datavalue":{"value":{"text":"Restriction categories II: Partial map classification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398462$9D5E8A3E-47F4-4F44-A799-214D32AD2A21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4099148ddcd9affc5abcd5613cbf2eb4e85f4ac","datavalue":{"value":"1023.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$4570106B-44E3-4624-9371-54934EB68D07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f6e427f31f022457c5cd71105baabf413a27cd3","datavalue":{"value":"10.1016/S0304-3975(01)00245-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$77D89C28-39D7-470A-860D-11CA64956FA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072eccf7c5410d4251bc74bb0051dfd105c0c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$459BA8ED-5665-423B-B75B-62C21ABAB110","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":"Q1398462$40A54346-4FAA-4952-8268-F139B8E10AC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$2E96C6F2-FC1F-4E1C-83E6-B5D8C84253B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-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":"Q1398462$0299A3A0-7848-48EF-ABBE-DAB5CF054C17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54e6a74a8c4c745e6efa6e9b26f25c9a1ef64cdf","datavalue":{"value":"This paper is a sequel to the same authors' [\\textit{J. R. B. Cockett} and \\textit{S. Lack}, ibid. 270, 223-259 (2002; Zbl 0988.18003)]. There they introduced restriction categories for working with abstact categories of partial maps, and showed an representation theorem justifying their regarding restriction categories as abstract categories of partial maps. This paper considers when a monad has a Kleisli category which is abstractly a classified category of partial maps. In the presence of products the question has been answered by \\textit{A. Bucalo}, \\textit{C. F\u00fchrmann} and \\textit{A. Simpson} [ibid. 294, 31-60 (2003; Zbl 1022.18003)]. Moving from the \\(p\\)-category setting to the restriction category setting, the authors answer the same question without assuming the presence of products.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398462$18B159D8-A524-4714-AB84-8168A5DB199F","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":"Q1398462$2433C74C-C9F7-4993-960D-BC5C96544B54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$D10B040C-612C-45AE-AE96-E5E6EA45914B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$301FEECE-11D9-4FC1-8423-7F5E9EE5C08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$57EFA4A2-D5B9-43A0-A2B5-0A348FBF6A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"975e306b2e493708715392b7bc75eadbf7291a79","datavalue":{"value":"18D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$2B596768-5D39-4A37-8F66-C1A228E77E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"568c1a5ebf235a2b5a7c3a91ab457d6d42047a6d","datavalue":{"value":"1956188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398462$2EC348BB-8771-43D1-A4BE-8312FE56346A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1c9de837dd6b3668bb5c6d85f44f8f0fa1713d8","datavalue":{"value":"partial map classifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398462$9C7224E2-657C-4353-B80F-8A1844AB3751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b350bf4a50c493f2e086a32ddc28c53a3ab5b0ee","datavalue":{"value":"restriction category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398462$A2D47F55-8606-4A27-972B-C985ADB4772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398462$0F300DA7-2661-48D9-B19E-C5466B6913E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398462$CD1F1DE3-8B86-4A2B-ACA1-7F9C9A52D06B","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":"Q1398462$A8812655-462B-4840-A935-E6BE13ACA899","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$5782932E-157D-4CEF-A7E2-04E8DB725C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358596db31a85268f2da249f2d363886b423d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":3767474,"id":"Q3767474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$F663BAB3-1659-4506-B87A-8DE7DBDA066A","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":"Q1398462$49FB9777-0171-4353-A75D-91C3DD648BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b46e23d879b38d657dfe6724fc4acf7ca3dac70","datavalue":{"value":{"entity-type":"item","numeric-id":5756980,"id":"Q5756980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$47EF9818-9A82-4292-9718-EBAB0AABEE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$2AE236E7-A06F-4165-B76D-8E74D368CA7C","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":"Q1398462$102A7D2C-2755-44DF-9FC9-3222DACD5782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe258aca9d701a17778a2826193bb7d0179c4234","datavalue":{"value":{"entity-type":"item","numeric-id":4261086,"id":"Q4261086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$10D47BBA-B727-4B54-8597-CD045B9CC227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$E8A33029-9BC7-475D-87E6-63F5EFD160E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c57947b0391797173af8a20db6b42ec88fd0324","datavalue":{"value":{"entity-type":"item","numeric-id":1349648,"id":"Q1349648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$7E4F123B-8DED-48D0-A77F-875B03FA0F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$F20D1E6E-436D-491B-97D2-FD52F18738DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$E630E149-0E96-4A1F-BABA-280F5427B811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$C7330535-771C-4124-883E-F690D9BC258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7969b90f1315256a76080f3512322435c856bd23","datavalue":{"value":{"entity-type":"item","numeric-id":1193894,"id":"Q1193894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$2C460584-9B33-4E1E-9795-13E21351B9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af56fad0a802c272ddacff16774bf70a62140bd","datavalue":{"value":{"entity-type":"item","numeric-id":1349664,"id":"Q1349664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$84B89010-CF63-4EB9-96C3-32576BF36844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eae4e379dcc2959a97cb8f2f2dceb642932a910","datavalue":{"value":{"entity-type":"item","numeric-id":5890054,"id":"Q5890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$7E216412-F090-4E81-9718-17644BA819F9","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":"Q1398462$77E5EEAF-7F08-40A8-A9CC-8671039A43F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$1DC35838-1A9E-4046-8D3B-D33A08C6CB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d71ea5ae3f9128906e9aa11d06937c222a25d2","datavalue":{"value":{"entity-type":"item","numeric-id":2761574,"id":"Q2761574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398462$496870FB-12AC-4051-B7F1-03BFB947AE30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb53c8d741e3ac23a51e87e9d33639d0abfffaed","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378198ff6cde84b6ebc431cd2d0eca43e6057bb7","datavalue":{"value":{"amount":"+0.847162127494812","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":"Q1398462$6D7315A3-31DF-48E7-968D-ABA63918008D","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":"378198ff6cde84b6ebc431cd2d0eca43e6057bb7","datavalue":{"value":{"amount":"+0.847162127494812","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":"Q1398462$0DFF0FC2-425E-4DEE-90C2-86FA2D050008","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":"e0be7d68c86b7062b61b562ebb0c6b0f44211a09","datavalue":{"value":{"amount":"+0.8209884762763977","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":"Q1398462$E40300A5-CA98-45CE-B442-52593969614A","rank":"normal"},{"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":"22b9e65c9c7762f3c9b2f88f79ee01845f3078eb","datavalue":{"value":{"amount":"+0.8184018731117249","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":"Q1398462$E3AAF528-4C85-4C3F-955B-740ABFCBB7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a25f5a90b739689fb1fc6d1927b6a00d1f2f39","datavalue":{"value":{"entity-type":"item","numeric-id":3826733,"id":"Q3826733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954bc8dc8bb04623074d458d7f8374257f726101","datavalue":{"value":{"amount":"+0.8042691946029663","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":"Q1398462$20DEABB7-34F1-411A-9EAB-1470BFF2D65F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restriction categories II: Partial map classification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restriction_categories_II:_Partial_map_classification"}}}}}