{"entities":{"Q2105670":{"pageid":2116413,"ns":120,"title":"Item:Q2105670","lastrevid":78203171,"modified":"2026-05-06T11:02:03Z","type":"item","id":"Q2105670","labels":{"en":{"language":"en","value":"On the cocartesian image of preorders and equivalence relations in regular categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629351"}},"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":"Q2105670$F4BB3023-0C03-403A-918A-719453972A6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8786444742986a0788360c51d26ee58749d5750","datavalue":{"value":{"text":"On the cocartesian image of preorders and equivalence relations in regular categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105670$774FB9D7-0427-449E-8DF5-0655CD919720","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed4cf11f7c38d9e51ce95ad2fda64d62051fa6bf","datavalue":{"value":"1502.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$7392A3DF-4585-4678-8E90-2289D5F30F5E","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":"Q2105670$8066D3AB-CAAB-406C-914C-2EF791FC823F","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":"Q2105670$EF409D57-F20C-4B2C-937F-F8920F448640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105670$95CF905A-6CDC-45FF-82C7-FB5B31F3FFA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da98b36fe89df5eaaf807ef1b93372acf56c078e","datavalue":{"value":"https://arxiv.org/abs/2109.11381","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105670$D3D67058-081F-4102-AE81-2882F373A4F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff6c28713abd1e2ee96b5f81484f68807a18da51","datavalue":{"value":"It is well known that in a regular category \\(\\mathbb{E}\\), the direct image of a reflexive (resp. symmetric) relation along a regular epimorphism \\(f\\) is a reflexive (resp. symmetric) one, which is no longer true in general for preorders and a fortiori for equivalence relations. The best preorder approximations are then their cocartesian images above \\(f\\) in the respective categories \\(PrO\\mathbb{E}\\) of preorders and \\(Equ\\mathbb{E}\\) of equivalence relations in \\(\\mathbb{E}\\).  The author [Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 59, No. 2, 142--194 (2018; Zbl 1404.18002)] has observed that  Proposition. Let \\ be a regular category and \\(f:X\\rightarrow Y\\) a regular epimorphism. The following conditions are equivalent: \\begin{itemize} \\item[1.] The map \\(\\phi:R\\rightarrow T\\) is cocartesian in \\(Equ\\mathbb{E}\\) above \\(f\\) in \\(\\mathbb{E}\\); \\item[2.] The map \\(\\phi:R\\rightarrow T\\) is regular epimorphism in \\(Equ\\mathbb{E} \\) above \\(f\\) in \\(\\mathbb{E}\\); \\item[3.] It obtains in \\(Equ\\mathbb{E}\\) that \\[ f^{-1}(T)=R[f]\\vee R \\] \\end{itemize} This paper aims to investigate the conditions ensuring the existence of such cocartesian map, extending investigation to the cocartesina images of preorders. The synopsis of the paper goes as follows. \\begin{itemize} \\item[\\S 1] recalls basics of reflexive relations. \\item[\\S 2] addresses the distinction between direct image and concatenation image. \\item[\\S 3] investigates the properties of the chain \\(((R,S))\\), where \\(R\\) and \\(S\\) are reflexive relations. \\item[\\S 4] shows that any elementary topos \\(\\mathbb{E}\\) admits cocartesian images of preorders and equivalence relations provided that any countable chain of subobjects has a supremum. \\item[\\S 5] gives a direct application to a certain kind of transfer of congruence modularity. \\item[\\S 6] shows that any \\(n\\)-permutable regular category admits cocartesian images of preorders and equivalence relations, which gives rise to three different kinds of characterization of these categories. \\item[\\S 7] is concerned with the situation where one of the intertwined chains is stationary from some level \\(n\\). Those properties \\(T\\) on \\(X\\) such that, for a given regular epimorphism \\(f:X\\rightarrow Y\\), \\(f(T)^{n+1}=f(T)^{n}\\) obtains are characterized. \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$D503C43A-2F73-4D29-975A-A7A772174DFF","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":"Q2105670$7C37B589-4A90-40A8-8ABF-069082A9B523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$F70E0632-E444-41EC-B408-607C2CC63F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"def2f376c9e4648d8df264b91b14134cf5d2175f","datavalue":{"value":"18C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$06E685F3-A9BE-4318-96EC-F27DCAED220F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$FFAFC027-8FC8-4AAA-B1FE-4F737E786BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0c357c394262583761baf7e798479c867609e5e","datavalue":{"value":"18E13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$999A5EC4-2BF4-4C5D-93A3-6326F52DE591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$19BC4422-A500-48AC-805D-0CB2F3636B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$1412BBE2-C3DA-4078-B59F-8FE7A37D571C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a18aee9402715364bcfe1a115149c09c29d1913","datavalue":{"value":"7629351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$200FBD8D-0F5E-4861-8B4C-14FBF4F40BE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e7b38b8470c3844d34176be20bffc20ef4db86","datavalue":{"value":"internal reflexive relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$38041BD9-BC54-4374-B3B3-56BDEFD5259E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401f1a4de19cb078d43224b89c0f69e228996591","datavalue":{"value":"preorder and equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$F891AF49-18AF-4C1B-B509-E6C20AA3B13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a646f495b0b266314b5fa60ec11bc6b95983a1","datavalue":{"value":"supremum of pairs of internal preorders and of equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$31DBAA4A-52D7-41BB-B68A-92E93E90F788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c13058daeb8c12c4b37a33ac454d8c36f3e91f","datavalue":{"value":"cocartesian image","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$43ABD192-B648-46EA-849D-7BD056BC607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6655e0e249a1c63d0abd70b4aff88a03d7aa587","datavalue":{"value":"regular epimorphism and regular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$BC003047-BBAA-40F7-B55A-562E463A8057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9817d7332e87baf7295a515e80c8964ad5a24e","datavalue":{"value":"congruence modular variety and category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$54876FE5-EF7E-4DBE-95A2-01BB162B5A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1f8bc845966a085860a84ad2926c4621388fc6","datavalue":{"value":"congruence \\(n\\)-permutable variety and category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$B64FE7E7-F14B-4727-86B6-C528BE534A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105670$3C0A5831-2945-432C-9B42-8E2E0CD0548C","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":"Q2105670$70071AAD-240F-4BD0-9520-3B6E72F8B400","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84789f18ebd710d20628f1c6fb6e4e50cabbd676","datavalue":{"value":"W3201502866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$078B73D7-9C5D-46B4-9494-2ABBA6C0850C","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":"Q2105670$4F243A1E-210E-4868-90A7-FD973F2CDDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1427073c2c2d51d6bd2883bcd9da57ecafcf51","datavalue":{"value":{"entity-type":"item","numeric-id":1877878,"id":"Q1877878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$26A267BB-E909-4EEF-A82A-EB97F0971FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea4408cf50d8442119c69772d7eedb7ec1dd34f","datavalue":{"value":{"entity-type":"item","numeric-id":2577701,"id":"Q2577701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$C1AA15CE-4FE1-4EC1-AF12-7C64085FF6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9129dcabb0b2dc5574d70c77f1eac8e6c1165bc","datavalue":{"value":{"entity-type":"item","numeric-id":4611025,"id":"Q4611025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$D06D9DF5-E3D1-45FE-A50C-2C13B8A718EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cb720fd44d4119f584b5a4ff65a82c5149a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4663627,"id":"Q4663627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$C074D3A4-BAAD-4708-8926-697B17A83672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7546ffddb25b9ce176acf58ebf2b3dc2604ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3158344,"id":"Q3158344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$904613A1-0148-4FE6-9B67-43915913F985","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":"Q2105670$464A8A03-FEC3-464E-B4D0-F1B069FC2022","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":"Q2105670$85178559-C2B9-4BA8-AAFB-3BDD2316A65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8722c180cc71e4a8276e34abab3658ec8cb68910","datavalue":{"value":{"entity-type":"item","numeric-id":3335838,"id":"Q3335838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$E68FC285-AD07-4B62-9326-A8BDE1C903E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf5d69aa52fcaae24bf9fa6f4126a518e85d688","datavalue":{"value":{"entity-type":"item","numeric-id":5570948,"id":"Q5570948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$7A4BD161-6796-4C50-B1FA-D20279C095A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466e19867e1a0e5cbbece1e285548d5af1777e39","datavalue":{"value":{"entity-type":"item","numeric-id":452331,"id":"Q452331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$FD769879-8421-4DE6-B49C-E07E9D0E65A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97521024101b5320dea08df79dc91b6c744eb8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3338309,"id":"Q3338309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$2B3F3548-1EA7-495C-85C5-929BEB04C67E","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":"Q2105670$F20D78E2-5D15-4FF6-8FF7-98909BD3F077","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":"Q2105670$3C008526-C3A1-4380-AFD2-687F06785F24","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":"Q2105670$79BDB29F-3F7B-46ED-BC25-43E49F632428","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":"Q2105670$30CFA751-BC13-4E51-BEEE-9D0718C51998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7d2dd9fc0c0cd45fd78da4cf9c1d45611ace38","datavalue":{"value":{"entity-type":"item","numeric-id":4609240,"id":"Q4609240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105670$C7C39015-FCC0-4FFD-8CF1-200F3DD3DE86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"601649ee3a4c003ca346207c77f88eb3856c77a2","datavalue":{"value":"10.1007/S10485-022-09686-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105670$5C34E1BD-219D-4291-8487-DD17C026317A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c56158479c6f7b4a794e9cd9fd79ebab518834","datavalue":{"value":{"entity-type":"item","numeric-id":1329746,"id":"Q1329746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c169daf213654331dcc4573683fdc939432bd05","datavalue":{"value":{"amount":"+0.7122994661331177","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":"Q2105670$CF1676CC-35E4-4576-81E9-482678C3DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9588875d49d47be5f9a73a0275aafe877e199d70","datavalue":{"value":{"entity-type":"item","numeric-id":4611025,"id":"Q4611025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6a7e9f32487cf9e6291e425fe207345275655c","datavalue":{"value":{"amount":"+0.7118722796440125","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":"Q2105670$26C39CB4-BA02-4444-B221-613083D13D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63e6e3dd8364a28d63a0c7b213b618a4931c992","datavalue":{"value":{"entity-type":"item","numeric-id":3836493,"id":"Q3836493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fc2c1a8682c86224e26f2200ef848ed3d00738","datavalue":{"value":{"amount":"+0.7103062272071838","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":"Q2105670$0F58B731-9463-487E-86C3-2D9B08DF92E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bd4b0802ced87a3a5c3c7f949806ab98d1c3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1892302,"id":"Q1892302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fc2c1a8682c86224e26f2200ef848ed3d00738","datavalue":{"value":{"amount":"+0.7103062272071838","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":"Q2105670$9365875D-B73E-4ED5-B566-65E8BBEBDBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896fd68d2338ea94466518d898312805cec1a0cd","datavalue":{"value":{"entity-type":"item","numeric-id":2487464,"id":"Q2487464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4589c2110674977b074797803c15b09e4e968d","datavalue":{"value":{"amount":"+0.7083577513694763","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":"Q2105670$5C3E9C27-5308-4A4E-9A4B-56F9F1891EF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the cocartesian image of preorders and equivalence relations in regular categories","badges":[]}}}}}