{"entities":{"Q7006439":{"pageid":21541599,"ns":120,"title":"Item:Q7006439","lastrevid":83025890,"modified":"2026-05-06T23:37:03Z","type":"item","id":"Q7006439","labels":{"en":{"language":"en","value":"A note on Mal'tsev objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8018124"}},"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":"Q7006439$0541DD4B-2B0B-4566-8D25-A96A11672660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d741cdabc4de18efb0461de71485eecb3743754","datavalue":{"value":{"text":"A note on Mal'tsev objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7006439$3D9C58E0-37D1-4C7D-AE50-8E1B622C3597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f2489cedd468c494ea712c42029007a3eaa87ae","datavalue":{"value":"1564.18011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$F252ADA5-0956-425D-8829-9C6466967F00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70dbf612eb39f51b4be3f453af19766ddee7e384","datavalue":{"value":"10.4171/PM/2125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$6A35913B-C3E6-440C-9BBF-8E2F0197FAC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8197ff0185d06cebfc50ad47145f3f32b6865d8d","datavalue":{"value":{"entity-type":"item","numeric-id":173920,"id":"Q173920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$71C05B2C-4D90-41DF-9ED7-1A8F728A8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4e4bab63cc7530d7e55cb98e5761fd1e47d028f","datavalue":{"value":{"entity-type":"item","numeric-id":7006438,"id":"Q7006438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$55021990-6968-45FD-96C5-270D2E7B51E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e24811b0c50f98740f81ee39ad4516f888f778d","datavalue":{"value":{"entity-type":"item","numeric-id":2578061,"id":"Q2578061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$B735FE20-FACB-4B1E-B132-844648DCCB4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a56864cb177015e6590e20bd4e7cb11bf3de47","datavalue":{"value":{"time":"+2025-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7006439$991B541C-1687-4ADF-A581-4E1CB4B30F68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"344a3668ada4be8e234b40a4361525495ea50129","datavalue":{"value":"A variety of universal algebras \\(\\mathbb{V}\\) is called a \\textit{Mal'tsev variety} if its theory admits a ternary operation \\(p\\) satisfying the equations \\(p(x; y; y) = x\\) and \\(p(x; x; y) = y\\). A regular category \\(\\mathbb{C}\\) is called a \\textit{Mal'tsev category} if any pair of equivalence relations \\(R\\) and \\(S\\) in \\(\\mathbb{C}\\) on a same object \\(X\\) is such that \\(RS = SR\\). An object \\(Y\\) of a finitaly complete category \\(\\mathbb{C}\\) is called a \\textit{Mal'tsev object} if the category of points over \\(Y\\) is a unital category. An object \\(Y\\) of \\(\\mathbb{C}\\) is called a \\textit{W-Mal'tsev object} if for every relation \\(\\langle r_1,r_2\\rangle\\colon R\\to X\\times Z\\), the \\texttt{Set}-relation \\(\\langle \\mathbb{C}(Y,r_1),\\mathbb{C}(Y,r_2)\\rangle\\colon \\mathbb{C}(Y,R)\\to \\mathbb{C}(Y,X)\\times \\mathbb{C}(Y,Z)\\) is difunctional (a homomorphic relation \\(D\\) from an algebra \\(X\\) to an algebra \\(Z\\) is \\textit{difunctional} when \\((x_1Dz_2\\wedge x_2Dz_2\\wedge x_2Dz_1)\\Rightarrow x_1Dz_1)\\). One of the sections of the article is devoted to the comparison of the concepts of Mal'tsev and W-Mal'tsev objects. For example, it is shown that W-Mal'tsev objects in the variety of monoids are precesely the groups. Let now \\(V\\) be a complete lattice equipped with a tensor product \\(\\otimes\\) with unit \\(k\\) that distributes over arbitrary joins. A \\textit{V-category} is a set \\(X\\) together with a map \\(X\\times X\\to V\\), such that for each \\(x,x',x''\\in X\\), \\(k\\leq X(x,x)\\) and \\(X(x,x')\\otimes X(x',x'')\\leq X(x,x'')\\), where \\(X(x,y)\\) denotes the image of \\((x,y)\\) in \\(V\\). W-Mal'tsev objects in \\texttt{(V-Cat)}\\(^{op}\\) and in \\texttt{((U,V)-Cat)}\\(^{op}\\) are described, where \\texttt{V-Cat} is the category of V-categories and V-functors (maps \\(f\\colon X \\to Y\\) such that for all \\(x;x'\\in X\\), \\(X(x,x') \\leq Y(f(x),f(x'))\\)). \\texttt{(U,V)-Cat} is the category of \\((U,V)\\)-categories and \\((U,V)\\)-functors (for an ultrafilter monad \\(U\\), \\((U,V)\\)-category is a set \\(X\\) together with a map \\(UX\\times X\\to V\\) satisfying certain inequalities).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006439$D5576049-38E0-467E-A630-C60EFB981BAF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$C9207453-971C-4F71-955C-77CC1AF9FAA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0c357c394262583761baf7e798479c867609e5e","datavalue":{"value":"18E13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$2B1AAB41-B15D-4FD5-8BA8-8C31AAF69C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fca280bd30debeb31b16beab858f0a25a8fa5da7","datavalue":{"value":"20J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$5EB8B27C-88AF-449C-8A0D-366E06E90C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$90E94A5A-A560-4E5E-ABA5-00C633C5EB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$230FFC57-3FC7-47DD-A9CD-E0EFB2127E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$CD22C505-4667-4C06-A835-BDEB4ABC318B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cb4f69f4cbaf5a2adf512d6b1b5cbcabb6b8247","datavalue":{"value":"8018124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7006439$9D4D2B3E-A3A0-47DA-A875-2830D95F5994","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$45350C84-95BA-4487-973E-1E731B6262A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec30b56a1cd19c9c6ded6c363a908d681d61aef","datavalue":{"value":"unital categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006439$FD7ADBA6-8EB4-46C6-98A5-C5DD4533A379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b824f0e218857cedd3761114cfad9fe7dacfbe","datavalue":{"value":"Mal'tsev categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006439$41948020-C71E-412E-B07D-12EC6D1DF06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd83f12458f0d921aba78e5c0b8b1b5ccaad26c7","datavalue":{"value":"Mal'tsev objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006439$80A7E591-1886-4825-92FC-282075FE073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"972e3760ee57674287384027f11842da6a8b4872","datavalue":{"value":"\\(V\\)-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7006439$5A2F722E-6AD0-47AB-91AC-2869AD0A0B3E","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":"Q7006439$BC587FB2-8E37-4F6A-8810-2950411D50AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96954404dfbbc62a33a9750ac0ac66cacd28ac9b","datavalue":{"value":{"entity-type":"item","numeric-id":5602969,"id":"Q5602969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$BF2FC68E-0B2B-42DE-8A59-FA5FDCC959ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$45C529CF-D6F1-46B4-AB1F-FF173EE27A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e202188c6cea7d85e43a9bc2a2dcf54e9bf41ce","datavalue":{"value":{"entity-type":"item","numeric-id":4827951,"id":"Q4827951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$552417BE-517A-4029-B2D1-CC0106321D03","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":"Q7006439$A1857B4E-9C18-476D-99AA-B0D91BEEA3B8","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":"Q7006439$55DFDB14-BDBF-42B7-B555-C836DDCA29F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b417c0b6d7b5776f38ab4e80aee626cd0c6d07b","datavalue":{"value":{"entity-type":"item","numeric-id":5014594,"id":"Q5014594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$FD7967E9-AD0A-4EDC-A02A-F0E2FF659240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25780d6905ca80e4e5af3dc6014cbb0d41e09628","datavalue":{"value":{"entity-type":"item","numeric-id":1320341,"id":"Q1320341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$3D5B6C40-0F2C-48AA-B8BB-E10453FF700C","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":"Q7006439$D1533988-E057-4CF2-98D5-8CF396D5861E","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":"Q7006439$4057E7D9-0D4A-45EC-A194-4512F9B6E1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da39abd823701e5d025cda61389f5bc554a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2923416,"id":"Q2923416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$6DBD6BF6-F2E9-4538-A907-A6D2DDDED630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aadd4ae14136691469b9e304bcd492452ee4101","datavalue":{"value":{"entity-type":"item","numeric-id":1404248,"id":"Q1404248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$DF799C75-22D4-4A72-889C-C8B9E6CCC43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb535c9ef4f849ac4a57f180abecc1095fec3ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2398178,"id":"Q2398178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$C00FCD0D-8CBF-4FBF-97F2-AE3FCDE5ED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df8eba0eb2cb6339831e705a36031b6e7d502c9","datavalue":{"value":{"entity-type":"item","numeric-id":2001388,"id":"Q2001388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$35E00871-67DA-4636-94DF-22954FC296A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8295bb49ed962fa07d19afccfc6d36f8cdab88","datavalue":{"value":{"entity-type":"item","numeric-id":1869194,"id":"Q1869194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$2A0C6088-F20F-416E-BCD6-BBCF26D4BD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8e001650c66b5020c519433f4a9dcc94218abb","datavalue":{"value":{"entity-type":"item","numeric-id":2264783,"id":"Q2264783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$E77D00DE-0F34-42F0-AE10-BECC82D54CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada7ca3931203ed7f4f2fb9f6792fc0bf60258d1","datavalue":{"value":{"entity-type":"item","numeric-id":2079656,"id":"Q2079656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$688BE526-B788-449D-8810-E182F616BB58","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":"Q7006439$E5355718-47B9-4AC6-8ACE-65A6E39E5469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76157b60f3a2006ca2650008020ba18bc06a3a24","datavalue":{"value":{"entity-type":"item","numeric-id":2255528,"id":"Q2255528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$2D5B7152-7F50-425A-95A7-35E19B6C9865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd8ace739be7d1f9c2ad23eb5e267d35985b62f","datavalue":{"value":{"entity-type":"item","numeric-id":3244123,"id":"Q3244123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$C53545AC-FA94-4CED-BCBA-C18B89E640BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$2630CC5D-7DB4-4C12-8846-F6A58008CFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99814eee28d3de12eb6d309adae6d26131d93882","datavalue":{"value":{"entity-type":"item","numeric-id":2432584,"id":"Q2432584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$48A84D05-BEA9-40F9-ABCE-377590C6A95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e324e94bac0e2144e3b4df761b9909610df5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5829835,"id":"Q5829835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$06B7C0D8-DB23-4CA4-B647-8D42C22DEB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5839f8a14944b069179c8e42a09cfca04c02b7b0","datavalue":{"value":{"entity-type":"item","numeric-id":748711,"id":"Q748711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$27D3BC20-7035-4E98-8077-C2EC8F62F199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6feb5f4f6a0d2fc58056dd1896fca01d1134c988","datavalue":{"value":{"entity-type":"item","numeric-id":2016105,"id":"Q2016105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$8F60D952-EBE6-4D50-8C8B-563720526846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9626255d6734977ddc32449cd2e2abd535d2bda","datavalue":{"value":{"entity-type":"item","numeric-id":1678265,"id":"Q1678265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$5C1E0EBC-2BA0-476D-B959-0541CA250B08","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":"Q7006439$E02DB55E-0933-4EAB-A8AD-BD50AB4B6472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7e36fa85efca976c9125e15f3e916e269cca97","datavalue":{"value":{"entity-type":"item","numeric-id":4563204,"id":"Q4563204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7006439$ED485E2E-433D-4209-ADAC-F785782E8CA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on Mal'tsev objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_Mal%27tsev_objects"}}}}}