{"entities":{"Q835752":{"pageid":837600,"ns":120,"title":"Item:Q835752","lastrevid":64732026,"modified":"2026-04-11T21:51:24Z","type":"item","id":"Q835752","labels":{"en":{"language":"en","value":"Subtractive categories and extended subtractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5600111"}},"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":"Q835752$42C9BDDF-E28E-4764-AFA4-9DE9185B0D2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8053357a391fbe1d3965fd6665d120cb6a49d1bd","datavalue":{"value":{"text":"Subtractive categories and extended subtractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835752$7AF2BF32-3AB0-40DE-90EA-699EAC44431D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e8b01f95a63fa5f13a44c287c472bc869621353","datavalue":{"value":"1176.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$9B3375B0-AC6C-46A6-A999-B0F305A2A06C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17c97410bb1ac64185ead03e0cfc53b36dbd1f9","datavalue":{"value":{"entity-type":"item","numeric-id":170573,"id":"Q170573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$92A4FF55-A85B-4801-B725-24BED36EDAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdf602eb25a8e6dff8a62a146dd4d3b592bba","datavalue":{"value":{"entity-type":"item","numeric-id":308150,"id":"Q308150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$3665D45D-013F-4377-9945-FC9BAC5F86F5","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":"Q835752$EF904EF4-FF1E-4C89-B79C-843B3A63E29D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"049debda757703127da2fc03ca0a1b5b826f121d","datavalue":{"value":{"time":"+2009-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835752$635A6885-B5D4-4390-8330-C095EEDF97D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fb91d45e8007fa3abfae8c3740d921e07466b4c","datavalue":{"value":"A pointed, finitely complete category \\({\\mathcal C}\\) is subtractive if for every binary relation \\(R\\to X\\times Y\\) the corresponding relation \\(\\Hom_{{\\mathcal C}}(C,R)\\to\\Hom_{{\\mathcal C}} (C,X)\\times\\Hom_{{\\mathcal C}}(C,Y)\\) satisfies \\((x,0_{C,Y})\\in R\\) whenever \\((x,y)\\in R\\) and \\((0_{C,X}, y)\\in R\\). A morphism \\(s:X\\times X\\to X\\) is a subtraction on \\(X\\) if \\(s\\circ u= 1_X\\) and \\(s\\circ\\Delta =0_X\\) where \\(u,\\Delta :X\\to X\\times X\\) are \\({\\mathcal C}\\)-morphisms with \\(\\pi_1\\circ u=1_X\\), \\(\\pi_2\\circ u=0_X\\), \\(\\pi_1\\circ\\Delta =\\pi_2\\circ \\Delta =1_X\\) (\\(\\pi_1,\\pi_2:X\\times X\\to X\\) are projections). Let \\(Ab({\\mathcal C})\\) be a full subcategory of \\({\\mathcal C}\\) formed by all objects with subtraction. A sufficient condition under that \\(Ab({\\mathcal C})\\) is a reflective subcategory of \\({\\mathcal C}\\) is given. An extended operation is introduced. It is a tool for a categorical formulation of term equations of Malt'sev type. As a consequence an approximate subtraction, an extended subtraction and an extended category are defined and characterized. For example strongly unital categories are described. An extended operation is an `algebraic tool' for an investigation of subtractive categories. A relation to universal algebra is shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q835752$2316CEF8-99A2-4C82-8334-0D578FB439FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$176521A0-6F62-487E-B64A-F6C46CB86AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$565EB1BE-25A7-4B65-8C65-FF53FC3B2718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db94c21dbe04274a9c1fa5aa1b0593fe4bfa07c1","datavalue":{"value":"18E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$A86F3AFB-DD22-4173-95FF-82481B44A59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$D8BC40FC-C2B8-4874-9EF1-BAFA64111C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$3416B476-F0E5-4A42-9CD9-3ED16B13BA98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88787e273108602a812218e0dd101db021e8d907","datavalue":{"value":"5600111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$470C206F-8BBB-4A39-899F-08530AD2270B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeda3f4c880ef602b36698ca5c575d9a1947a12e","datavalue":{"value":"Malt'sev category","type":"string"},"datatype":"string"},"type":"statement","id":"Q835752$0679EE85-A15E-4CE8-B390-B45A9F4D5710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962f8e95af1e8a90ec7f525b9b5566c2bf376e26","datavalue":{"value":"strongly unital category","type":"string"},"datatype":"string"},"type":"statement","id":"Q835752$8734AE07-F6C4-44CA-8401-F793A0BC532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a13e725c2a74aad19f0d8ca4ec35db5d1b6944dd","datavalue":{"value":"subtractive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q835752$DECD8BF0-E454-48CB-9476-144273959AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ba04b09589fd59952d7f73f6c72c24205427c1","datavalue":{"value":"subtraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q835752$28B703B8-484A-4233-86B9-FE57883055E5","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":"Q835752$56305E0C-699A-442C-BA48-757DCB6A1445","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6bc6db269af07af5bfd0dcd3ce54e00078b1662","datavalue":{"value":"https://doi.org/10.1007/s10485-008-9182-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q835752$944FD133-D030-4756-86F0-C89679928F53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9e4ece6c2f617e4ec139096439acb40871f1f22","datavalue":{"value":"W2094562030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$2C87EC58-1C4C-4C1E-9FE6-A8DF491D76ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6f36e6315d8b6f23b4eeec417d313801c18c11","datavalue":{"value":{"entity-type":"item","numeric-id":1923806,"id":"Q1923806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$F4630372-ECCB-4E61-9E81-AC436C67E2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a274eaf9fd820136f43d9ed8e307eebdce4337f","datavalue":{"value":{"entity-type":"item","numeric-id":1858212,"id":"Q1858212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$C46ED29C-069D-43EB-92ED-935E7768A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33eac4160a4608b07e4084e59e32fadd357ee86a","datavalue":{"value":{"entity-type":"item","numeric-id":4707050,"id":"Q4707050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$5203077C-0E23-4908-A5B9-1921A7BA19A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f5578225eba3b779353563e8c425a0fc8b5a83","datavalue":{"value":{"entity-type":"item","numeric-id":3614497,"id":"Q3614497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$82521564-C602-45AB-8A2B-9A5E2FBAAE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9156f5884f44114f1be78a4ba12a267c2c9d5f13","datavalue":{"value":{"entity-type":"item","numeric-id":755877,"id":"Q755877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$A143FDD8-4135-41A3-B778-5A917816ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3231d1910bfc88fa12dc56065a5f2c88cce94d1","datavalue":{"value":{"entity-type":"item","numeric-id":3137145,"id":"Q3137145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$5794190D-090E-4E21-AD33-A3F37484AC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59f02cdc6575e42947cb49810fde227db266c77","datavalue":{"value":{"entity-type":"item","numeric-id":816652,"id":"Q816652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$60706B25-8361-402B-86C4-78E328CD1429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ae07b327ed461cdfce23594645a47a8a7c393","datavalue":{"value":{"entity-type":"item","numeric-id":3411946,"id":"Q3411946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$170393A3-A0B0-46D9-A0B2-3890FAEB388A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24aa18438a89e091e14e2ba8b300dccda2b5207","datavalue":{"value":{"entity-type":"item","numeric-id":3411947,"id":"Q3411947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$9258E32C-CACF-4B64-9396-73269E782BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555479a95f30da2f3cbb574b7e5e9dcba6906954","datavalue":{"value":{"entity-type":"item","numeric-id":2381415,"id":"Q2381415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$A604D8A2-F03C-4486-83F3-9220C877D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8f2fc029ef96006d31e059967d9368d178260b","datavalue":{"value":{"entity-type":"item","numeric-id":5802109,"id":"Q5802109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$35F544AA-F485-4C44-A535-5C6FED8F28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d31cc2191b34bd02bea9cbdfb73a2fa04221d","datavalue":{"value":{"entity-type":"item","numeric-id":5735203,"id":"Q5735203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$6F32C8F2-6AA9-485E-9489-574D08188BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3960d9020ddfbde8603e15a632b561e0681f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835752$96B479D9-405E-4474-BDEF-CFF8857F8708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"869700469134135e8eb872a974a53322637889eb","datavalue":{"value":"10.1007/S10485-008-9182-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835752$44D23A35-555B-49B6-B32E-03A05C745645","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d82fd2726879007c1e9ae65dd95bd67db0b6e9","datavalue":{"value":{"entity-type":"item","numeric-id":816652,"id":"Q816652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a3d21c6647fc758513328ef1acfede6bfd4eb4","datavalue":{"value":{"amount":"+0.8834249377250671","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":"Q835752$0A81FE3D-81D5-4DD7-BC68-B073AE1800D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcfaa1ab5f9109a2bab772d7376806aba3837b0","datavalue":{"value":{"entity-type":"item","numeric-id":2381415,"id":"Q2381415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f16096e271d0ecb48099d233f2b4a7338389402","datavalue":{"value":{"amount":"+0.8439965844154358","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":"Q835752$A67F1CBA-349A-4D69-97BE-D5145DE51F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd61a9281d5d565a21289c6c0bdde71404925c8","datavalue":{"value":{"entity-type":"item","numeric-id":5200270,"id":"Q5200270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a27360c9cbe2d4da5e142004cebdfc2b4e2e46","datavalue":{"value":{"amount":"+0.8434677720069885","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":"Q835752$43C61A93-63B2-4ED2-A278-B30D359DA50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d733e98dd3e849d51a2184941e8c0f40e435be7","datavalue":{"value":{"entity-type":"item","numeric-id":1020964,"id":"Q1020964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30d331616420445ec3926d776a761be2afb8863","datavalue":{"value":{"amount":"+0.8416715860366821","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":"Q835752$B6E1E22F-5D7D-4FEF-AC49-EEDF975B2C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c30bf1234116a826685cd291dd000f438dc360c","datavalue":{"value":{"entity-type":"item","numeric-id":2690670,"id":"Q2690670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc395d3608f6b63e5545821f0fd7884298b39fb8","datavalue":{"value":{"amount":"+0.8158666491508484","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":"Q835752$D2385C28-CB38-4EAD-8836-F5C313A998CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subtractive categories and extended subtractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subtractive_categories_and_extended_subtractions"}}}}}