{"entities":{"Q1570871":{"pageid":1581611,"ns":120,"title":"Item:Q1570871","lastrevid":71320704,"modified":"2026-04-13T21:26:10Z","type":"item","id":"Q1570871","labels":{"en":{"language":"en","value":"Normal subobjects and abelian objects in protomodular categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1475242"}},"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":"Q1570871$0085EF59-543A-40D4-AED8-F436B778D93C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28068d998ba1b958adf388330bbe192496f86feb","datavalue":{"value":{"text":"Normal subobjects and abelian objects in protomodular categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570871$BB99595F-06D6-4B50-BBA4-4E760B856AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57746d5b53177b0213ec3e8fde68275e9245e6ee","datavalue":{"value":"0969.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$F4A31ACA-35CB-4205-A95B-F6421B1CE87B","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":"Q1570871$92A2FF17-149E-4CAA-80E2-75CCE598DC19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$D588B7FE-DA34-40DF-BDC8-956F93A886A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"344f01fdf4b6b45b725ab07fb94a1bd9e9b8acc8","datavalue":{"value":{"time":"+2001-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570871$8B755F56-B263-4929-AE1E-DBBB386942E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c27167e8283be72a274e03b4e9f0e15329d4191c","datavalue":{"value":"https://semanticscholar.org/paper/304d5948ab89b6896ec3fb69c69fb433fff56c05","type":"string"},"datatype":"url"},"type":"statement","id":"Q1570871$71F84F7A-AC71-4A5D-BED2-97124AC29000","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7fa2b1fba2aa6661fb8145bb2a5163699581304c","datavalue":{"value":"Let \\({\\mathcal E}\\) be a finitely complete category. The category \\({\\mathcal P}t ({\\mathcal E})\\) of pointed objects of \\({\\mathcal E}\\) has, as objects, splitting pairs of morphisms \\((p,s)\\) where \\(ps\\) is an identity morphism, and, as morphisms, adequate commutative diagrams. This category is fibred over \\({\\mathcal E}\\) by the fibration \\(\\pi:{\\mathcal P}t ({\\mathcal E})\\to{\\mathcal E}\\) assigning to \\((p,s)\\) the codomain of \\(p\\). This fibration of pointed objects of \\({\\mathcal E}\\) is used to classify several properties of the category \\({\\mathcal E}\\) related to internal equivalence relations, normal monomorphisms, Mal'cev operations, abelian group structures on objects and on sets of morphisms, etc. The category \\({\\mathcal E}\\) is said to be protomodular provided that any change of base functor for \\(\\pi\\) reflects isomorphisms. This property is a generalization of the short five lemma property.    A monomorphism \\(f:X\\to Y\\) is said to be normal to an equivalence relation \\((r_1,r_2): R\\rightrightarrows Y\\) on \\(Y\\) provided that the inverse image of \\(R\\) by \\(f\\) is the coarse relation and the inverse image of \\(r_1\\) by \\(f\\) is the first projection. It means that ``\\(X\\) is an equivalence class of \\(R\\)''. This notion generalizes the notion of normal subgroups. An object \\(X\\) is abelian whenever it is equipped with a canonical abelian gronp structure. In a pointed protomodular category \\({\\mathcal E}\\), this is equivalent to the existence of a canonical Mal'cev operation on \\(X\\) and to the fact that the diagonal of \\(X\\) is normal. The category \\({\\mathcal G}r\\) of groups is a good example of such a category in which all the results of this paper apply, but other examples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570871$70F54221-C2B2-4654-912A-94AD0808C958","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$D108ACEF-5BB4-4B12-B61D-566DF3014E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$D45F3949-A249-4F10-8DB2-3E36E4F2FE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$70E98E5C-FE74-4EC4-80D0-94D1FA30F6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$FFB2FBB0-615F-4344-B754-8458D13C3B54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c06465e719785c70870215768d8c1289422f249f","datavalue":{"value":"1475242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$5CDEC31B-EB5A-43BB-9AE5-151225A9787E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de348862265faf266e3a5e36e8d583b81f22e93","datavalue":{"value":"Mal'cev category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570871$D01F3E7C-F12D-48BD-A79E-28AA50BA0486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe8b97105332fd6118f24ba62ae89a5d1c2cca2f","datavalue":{"value":"abelian object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570871$961A1A44-D517-4973-B743-ABEB7957297A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cc97404e7a9ecc7c3856d7fff775cc0180c9950","datavalue":{"value":"normal monomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570871$6286D9B1-07D6-4D02-996E-0BB4C012A7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9865d3fda37201fc511e91c49c9409eacb59b929","datavalue":{"value":"protomodular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570871$A22A1496-90B8-412D-976C-BA57A7E1627F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$CB078802-95E0-4F86-A1E4-AA3F1C9BFEB4","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":"Q1570871$A6519D2D-DE15-4C27-8262-E30496C53B82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df366c4b8f7948cd1de16215c6ef2f93d14b3fa8","datavalue":{"value":"W2084973715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$1D0F4AD1-D3FE-4355-87C7-3A9775520538","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a365e85742d3ec2bb81986515465d29abc5f1b09","datavalue":{"value":{"entity-type":"item","numeric-id":5628320,"id":"Q5628320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$058BB261-A57F-4C23-A778-15D5FDA5AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1020749d56d90f709d9a4081cad71152e31b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3978968,"id":"Q3978968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$F49F56AF-2111-42B6-BDCB-85303E4F0799","rank":"normal"},{"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":"Q1570871$3FA98A0F-E9E1-459A-8F2E-80F9FBAA5422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b39e2c9085feb185b40c8430eeb93dac5eeda3","datavalue":{"value":{"entity-type":"item","numeric-id":4385499,"id":"Q4385499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$1F555B83-28C9-4AAE-A2E6-302F100E22FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e829509acb5c8cd2baca9b2d5790871758fd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4662364,"id":"Q4662364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$75C4B741-DA2D-4258-A1E6-CC18F537BF2C","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":"Q1570871$C9561B5B-CCA5-4D45-9592-AECF1125A5B9","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":"Q1570871$8C22637E-165E-4F16-8647-1E6860894367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ea1d1707a47ce6510cc299ba7be7973fa52148","datavalue":{"value":{"entity-type":"item","numeric-id":1824683,"id":"Q1824683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$0AE9764B-8367-4ADA-BCFA-1643683EF8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a9269611086e402db313bbe2ab796617e51e56","datavalue":{"value":{"entity-type":"item","numeric-id":1364303,"id":"Q1364303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$7331AA97-BE3B-4D0D-B9C0-07D9B7BF0D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58e48364751c06dd8d561010f6eefad9b88fa56","datavalue":{"value":{"entity-type":"item","numeric-id":1904231,"id":"Q1904231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$7D47083A-BDFB-412D-8CD1-A82DC14BAD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d254f14ae6306f071ed3b266bfaa7cbdd83c1df","datavalue":{"value":{"entity-type":"item","numeric-id":1923805,"id":"Q1923805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$A7299362-BCDE-40C1-90B0-602061B05F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f1fe91abc91b2d9ebbff4fd5445b943f49c2e2","datavalue":{"value":{"entity-type":"item","numeric-id":1232428,"id":"Q1232428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570871$1A13A826-3802-42A5-B31D-CE44247A140F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fedd0f735bc0e2e503cb6a3493581952a7d34947","datavalue":{"value":"10.1006/JABR.1999.8249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570871$2AB5A8B8-8C97-4EF2-8950-229175755BAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d446f1b6841b0d5d20381da8b52edd803ca2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4464695,"id":"Q4464695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8239fceda03c2df540d05566037f188e3ea2b79e","datavalue":{"value":{"amount":"+0.862415611743927","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":"Q1570871$4CA4AE84-6282-4DF9-AB17-31E82AD3C82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcacfc85045162d3dc4e2de271b18ee2a7071fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4490684,"id":"Q4490684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76dcb44921cee3526e18273e0615b3738880aa6","datavalue":{"value":{"amount":"+0.8469284176826477","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":"Q1570871$74E21465-C876-40DA-A1A0-20BA8294005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c11f766f8844200de4939c1c2db3993a0611ca","datavalue":{"value":{"entity-type":"item","numeric-id":5431509,"id":"Q5431509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76dcb44921cee3526e18273e0615b3738880aa6","datavalue":{"value":{"amount":"+0.8469284176826477","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":"Q1570871$20900C78-6396-404B-8B60-A4C4D1B17EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9209a5d5ba733e235a8c8a8a12ed4c0396a01","datavalue":{"value":{"entity-type":"item","numeric-id":818384,"id":"Q818384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55f2eb3d602560fec4efd8c6c5a466daf1963ef","datavalue":{"value":{"amount":"+0.8232574462890625","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":"Q1570871$2220304E-E12B-4909-BC13-92F371F3B78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8825baa08961badfb667634b8213cec96af9ad18","datavalue":{"value":{"entity-type":"item","numeric-id":5048018,"id":"Q5048018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6437f804b538aec7f1dba4d1b299b62b537b4a","datavalue":{"value":{"amount":"+0.817758321762085","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":"Q1570871$4BDD7E2C-4065-4B61-8BCB-4CABFBED916F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal subobjects and abelian objects in protomodular categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_subobjects_and_abelian_objects_in_protomodular_categories"}}}}}