{"entities":{"Q2381415":{"pageid":2392158,"ns":120,"title":"Item:Q2381415","lastrevid":72662487,"modified":"2026-04-14T06:22:30Z","type":"item","id":"Q2381415","labels":{"en":{"language":"en","value":"Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191454"}},"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":"Q2381415$EFB7ADBE-895B-492D-B09F-1ECF6224C45B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0638ba62961cb5186eb3f5346e2fd1723f8c9c22","datavalue":{"value":{"text":"Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2381415$6825F0E6-9527-4AE9-A9BD-CB31D11F2F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d376a9171ab8947983377f73e1d035f133cc43f8","datavalue":{"value":"1124.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$A02C0B6B-6B83-4F40-8C66-EA2F9D7081A5","rank":"normal"}],"P16":[{"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":"Q2381415$BDF95E97-4412-4248-ACCF-0687AB8CDAEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381415$66BFD8C6-7972-4A3C-A8B1-0FC0A40E7785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9163577f23dfa5d7313f3cd3f09e1a8ac760922","datavalue":{"value":{"time":"+2007-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2381415$99B1DF76-EFD7-4E59-96F1-10D2DD07BF3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"523caf70a5210f49f6e989e11cff9c4ba0f87b16","datavalue":{"value":"https://arxiv.org/abs/math/0610110","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381415$29CF85E6-64B0-44C9-84C6-480B1B8D78B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f5c2156718c071489439535902dd1e263960aae","datavalue":{"value":"https://eudml.org/doc/128108","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381415$426A3A7B-805D-402B-A77E-A68EAD73FEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a30ab4d5a366c7950e88506f2bac29c259aa13ef","datavalue":{"value":"http://www.emis.de/journals/JHRS/volumes/2006/volume1-1.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381415$6E6432D5-BCA4-49B1-A177-EFD3E1D261BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2aa7e54a0a258bdd5a414078a57934a7abf7c37","datavalue":{"value":"[For part I--III, see the preceding review.]  A variety \\(V\\) of universal algebras is subtractive in the sense of \\textit{A. Ursini} [Algebra Univers. 31, No.~2, 204--222 (1994; Zbl 0799.08010)], if the theory of \\(V\\) contains a binary term \\(s\\) (called a subtraction term) and a nullary term \\(0,\\) satisfying the identities \\(s(x,0)=x\\) and \\(s(x,x)=0.\\) The notion of a subtractive category, recently introduced by the author, is a categorical version of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini.   In this paper the author shows that a subtractive variety \\({\\mathcal C}\\), whose theory contains a unique constant, is abelian (i.e., \\({\\mathcal C}\\) is the variety of modules over a fixed ring), if and only if the dual category \\({\\mathcal C}^{\\text{op}}\\) of \\({\\mathcal C}\\) is subtractive. More generally, he shows that \\({\\mathcal C}\\) is additive if and only if both \\({\\mathcal C}\\) and \\({\\mathcal C}^{\\text{op}}\\) are subtractive, where \\({\\mathcal C}\\) is an arbitrary finitely complete pointed category, with binary sums, and such that each morphism \\(f\\) in \\({\\mathcal C}\\) can be presented as a composite \\(f=me,\\) where \\(m\\) is a monomorphism and \\(e\\) is an epimorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381415$26E7C033-4651-4FCA-AD9B-54AC919967C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381415$0AF37992-BFC6-4B66-9399-DAA319CF1F73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$66FF5204-4B3A-446A-A561-4015424088F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db94c21dbe04274a9c1fa5aa1b0593fe4bfa07c1","datavalue":{"value":"18E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$8B7CB8D7-484D-4FFF-80B4-2E420ABB1BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$AF78DBDC-FDDD-4A1B-B1B9-397CDF076BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$F845D130-4038-4646-81B4-79FB46501E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$A7A134EE-C054-4810-893D-C744EFD79C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$2406A801-7773-4B53-B3F7-D100D8CB5223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"017aa4c40a864a70b72a45a0a8cb308788fef5b7","datavalue":{"value":"5191454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381415$B62095C6-CD29-40F5-B392-2F8C83E65529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a13e725c2a74aad19f0d8ca4ec35db5d1b6944dd","datavalue":{"value":"subtractive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381415$DDB17C9F-B711-4A36-9BFA-2EAA32A939AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9769cd850f5248436c5c94b66983a588a31bff","datavalue":{"value":"subtraction algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381415$67E56059-99C3-41D9-B15E-6AFB3374CADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee761bdbb4f6327f40dd00256947d933dff2d19","datavalue":{"value":"closedness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381415$3A0EF108-5731-4E43-9389-469C1F12D87F","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":"Q2381415$CC5DC165-AD46-4957-8E8D-67B7DF55B7F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2761e8c24d270aa6e7ce8c77e9af3208a1a01ddf","datavalue":{"value":{"entity-type":"item","numeric-id":3411946,"id":"Q3411946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077ed0696906e4a7fee22e9930fb064f2a383b8a","datavalue":{"value":{"amount":"+0.8379434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$344CACD3-58B4-446B-8F48-1641EA0513B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f159a98b54dcce388f46e5a05c4ab57665f0b9f3","datavalue":{"value":{"entity-type":"item","numeric-id":4464698,"id":"Q4464698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d59701103b428d63281f5e9bd321f127a721342","datavalue":{"value":{"amount":"+0.75407135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$2FF3CC96-5DF5-47C5-BC63-1C2B700B9322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c318d65ccd036db548f3bc633229d577165961f0","datavalue":{"value":{"entity-type":"item","numeric-id":835752,"id":"Q835752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99e46b10905d4a9600548ec2581dfbfe787f210","datavalue":{"value":{"amount":"+0.7540248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$290A364E-5D12-4C3C-9B6E-D775804AD720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5852ee73c21c4be8c9d72b9096c6cb8fba2e0521","datavalue":{"value":{"entity-type":"item","numeric-id":1770598,"id":"Q1770598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c827e7d4d10f65c11d81558fd7dfa1fe712154be","datavalue":{"value":{"amount":"+0.73186815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$4F5955C7-67CC-4241-B28B-E0FF90DD13BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ba881a3438766a3d09d082fcd28f610a8b59c4","datavalue":{"value":{"entity-type":"item","numeric-id":2919779,"id":"Q2919779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162c8a6e94c98ec6bab6476a73a5d7bd23c66ef3","datavalue":{"value":{"amount":"+0.7246308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$867181DD-9410-4BB1-8B1B-FD8C1D366E4C","rank":"normal"},{"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":"05ba473024721b605f3ea1570aa3a97954d170ad","datavalue":{"value":{"amount":"+0.72096497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$8C334D24-BED4-4B21-BEDD-A00F44C1D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5d652f19b55d31a3b872e46a6fae2910118f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3748323,"id":"Q3748323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473c9d6e26dec329927d33eed951fc890fafa4bf","datavalue":{"value":{"amount":"+0.71571636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$AF87AA6A-59B5-47DF-A589-61664CE3C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d973908eef782c1798269080769ca9e4b6ccbe","datavalue":{"value":{"entity-type":"item","numeric-id":2643607,"id":"Q2643607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773dc1ea5bf11d860789784fd6ca1562f9641e70","datavalue":{"value":{"amount":"+0.70289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$D1D9D5EB-2582-4674-9F75-C7FE93E03B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb001b3e5c861dbc95283d12b89f9ba52e4ab5c8","datavalue":{"value":{"entity-type":"item","numeric-id":3676194,"id":"Q3676194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0bea2e1f9c8599c57d2f7315978e1f122e3183","datavalue":{"value":{"amount":"+0.6991069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$7150631A-A26C-4322-90F2-2F450D4806BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0034f7b784a19fe58427090b9108dfd31e284e","datavalue":{"value":{"entity-type":"item","numeric-id":4707050,"id":"Q4707050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef16dc35aaa86c81cf8cefc448d8f2e9f41dd698","datavalue":{"value":{"amount":"+0.6976323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2381415$6954183F-FFA2-4DA3-9157-E9B117E6056F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity","badges":[]}}}}}