{"entities":{"Q543492":{"pageid":545259,"ns":120,"title":"Item:Q543492","lastrevid":62654673,"modified":"2026-04-11T07:33:46Z","type":"item","id":"Q543492","labels":{"en":{"language":"en","value":"Pre-torsors and Galois comodules over mixed distributive laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909289"}},"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":"Q543492$78C91B4A-CADC-473F-8D56-EB3AE844B504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5016174c82b8e6fa61edf55c7c1ab2f83f86370","datavalue":{"value":{"text":"Pre-torsors and Galois comodules over mixed distributive laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543492$08725A84-F4A5-41C6-8C6D-24D6C20E00D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"980ac5391d20c456da12dfbbb3dc234508caba04","datavalue":{"value":"1246.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$DA579AD5-C36A-47DA-A533-78F76AB879B6","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":"Q543492$EDE384CD-E7F1-4AEA-9751-E00627A85FED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-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":"Q543492$5393100B-44D7-449F-AA73-D1CC848BD8C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0019889eb7ce3186b61cb10eb24bc1b34f98b1bb","datavalue":{"value":"https://arxiv.org/abs/0806.1212","type":"string"},"datatype":"url"},"type":"statement","id":"Q543492$F316CC2C-D4F3-41AC-96A0-76CA4EAB0749","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5851a9c63f5341144abee6ddf8256e9d06612553","datavalue":{"value":"The paper studies Galois functors in the sense of \\textit{B. Mesablishvili} and \\textit{R. Wisbauer} [J. K-Theory 7, No. 2, 349--388 (2011; Zbl 1239.18002)] for a comonad arising from a mixed distributive law. The notion of regular adjunction between categories with equalizers is introduced, and the category of pre-torsors over two regular adjunctions \\((N_{A},R_{A})\\) and \\((N_{B},R_{B})\\) is shown to be equivalent to the category of regular comonad arrows \\((R_{A},\\xi )\\) from some equalizer preserving comonad \\({\\mathbb C}\\) to \\(N_{B} R_{B}\\). This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, the authors show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad \\({\\mathbb D}\\) and a co-regular comonad arrow from \\({\\mathbb D}\\) to \\(N_{A} R_{A}\\), such that the comodule categories of \\({\\mathbb C}\\) and \\({\\mathbb D}\\) are equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q543492$3F4071F9-BE43-43EB-B467-B1C52A8E3FF9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d06051d5b7415f358b6a55948a922dd9ee398b91","datavalue":{"value":{"entity-type":"item","numeric-id":590616,"id":"Q590616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$5311984F-ABD9-48A7-92B4-EFCAC770C56F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$04E936B4-413B-44FA-945B-A3DA893FE1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$C326BCDB-FF4B-44CF-B648-046BA81B2BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2dfcb9d8d914f431a493a7cd2f6617f576acc7c7","datavalue":{"value":"13B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$A2B5FE04-8C4C-42E6-AF01-B22F3C73EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$54F09ED0-FA44-4A75-BA20-8DEB7A4A32F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6f6bfd7b433b28c8ffa9cd5875d4b04cd8fff45","datavalue":{"value":"5909289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$C94AA77D-5614-4246-975C-E43A76A3920B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8769019bb4cbd48620270552282eca38b9f0fa6","datavalue":{"value":"(co)monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q543492$23D6BE78-9DC7-434A-8864-F2B5A679D870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"944141c6eb43a4428266e2b64d1548866a838f2a","datavalue":{"value":"Galois functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q543492$DDF862ED-709D-4D9E-BD9D-65934CFC51ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b65c3e1498a526008a71b6d9009e66989c0ec26","datavalue":{"value":"pre-torsor","type":"string"},"datatype":"string"},"type":"statement","id":"Q543492$C295FEF3-1520-465F-96C0-50B3C5A4F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b60d30cd7f0ea9fe9c78624b0c81ac03dba62","datavalue":{"value":"mixed distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q543492$7AE02C92-7EDC-4F7F-AD1B-641D1F0A5ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2067ef0f6b82b7a4d582fc83da8f5f00b5703ff2","datavalue":{"value":{"entity-type":"item","numeric-id":161581,"id":"Q161581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$B185CF6D-3352-4B4F-BF71-39E52A1B27D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9512a1f3dcb266577d8dbd272c2dc825316ed304","datavalue":{"value":{"entity-type":"item","numeric-id":161607,"id":"Q161607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$B2FEDC67-FF42-419D-959E-E9465D690FEC","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":"Q543492$D4D56950-0472-4079-8CC3-37548DBDA90F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b920c43a75d9a62adc0a545990e1617754743377","datavalue":{"value":"W3099931493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$437106FA-605E-444F-A00E-4F1509FB80DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$73D4A20E-E9B9-4ADF-840E-D434C4688BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f73cd760fa8809e7722b9fb1943bf86dac2ffbc","datavalue":{"value":{"entity-type":"item","numeric-id":1377057,"id":"Q1377057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$A02DDA96-6054-41CC-98AE-4EF047959220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d51891a5a7ebf4415c30dc806fc4f0a8a27c665","datavalue":{"value":{"entity-type":"item","numeric-id":1028313,"id":"Q1028313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$68CAFF08-3D88-4FA9-8649-E83F8CF9E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4547b0f455f0d8810661093bc3a4c0ea066b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2549736,"id":"Q2549736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$38155790-DDC2-4859-B3B6-DB96DE36C976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7150a7f2b6640cfb4b2a84cddd88a2f86203f6","datavalue":{"value":{"entity-type":"item","numeric-id":863176,"id":"Q863176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$195044C1-5C51-45B8-A235-ACD1908A3087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db35264d3dd501a895a3a58bd2d92216349cf605","datavalue":{"value":{"entity-type":"item","numeric-id":1410964,"id":"Q1410964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$420B86D5-2C83-48A9-8799-B625A4E1B5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7bf2b650acfc61cda6a0ecbf28523dad638341a","datavalue":{"value":{"entity-type":"item","numeric-id":3024752,"id":"Q3024752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$3080FA3E-67F0-428A-8A0A-17F06C982133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$48459BB0-DE67-4220-936C-A263B7D54642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f66cdff9adf90056747bbbcce6e6e3e3a647401","datavalue":{"value":{"entity-type":"item","numeric-id":3004395,"id":"Q3004395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$65A960EF-BA3D-4690-AF07-C6BF12F3F346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab7bad2515d4384902c97876f91efea361d4517","datavalue":{"value":{"entity-type":"item","numeric-id":4714528,"id":"Q4714528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$51B738E0-154F-4F30-9B11-C1831E2046A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842318d09ec46c962ad2322689f680607bce481","datavalue":{"value":{"entity-type":"item","numeric-id":1264239,"id":"Q1264239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$8CEC10E2-1F46-4035-B76E-610182E8D3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669fa0aa08d99b18f3fee652c44b15d5f3f10bca","datavalue":{"value":{"entity-type":"item","numeric-id":4663645,"id":"Q4663645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$E2455EF2-8E28-4A2D-8C68-7A478B4D1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d184bea46f9692e4dfdd4d0975ad8b0ce1de9d4","datavalue":{"value":{"entity-type":"item","numeric-id":5437410,"id":"Q5437410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$554262EC-6216-4762-93D7-B7E00FCECAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$FB5A7AAE-5C63-4CBF-8C67-BBCFDF737A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fda554923668d475aebc820b402adce08026df","datavalue":{"value":{"entity-type":"item","numeric-id":2426119,"id":"Q2426119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543492$2DE97419-1F7A-4B06-A7AC-48FF79D1F121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d841ba8b4c908d7bf8713cd1a038084ef141f9cf","datavalue":{"value":"10.1007/S10485-008-9185-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543492$8A9A4E58-4AA5-4EE9-8F45-FE5439360E12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa1d13115ff363f7a36dd406ef2181591d6442e","datavalue":{"value":{"entity-type":"item","numeric-id":5489306,"id":"Q5489306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82324562b13f26ec8af06b6734c5f6c8cff5e8ee","datavalue":{"value":{"amount":"+0.7957096099853516","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":"Q543492$3BE12CEC-D54F-42E1-AB3E-F1118E112C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e33cb64b3cbb30b02c48b0a22fa6e49f5bf0bb","datavalue":{"value":{"entity-type":"item","numeric-id":986526,"id":"Q986526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b8376e393427b48c33e114fcfdd2e542d96a57","datavalue":{"value":{"amount":"+0.7478193044662476","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":"Q543492$C69B729F-27B3-437F-82B8-90E194B78D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e976a7687977070f75961db5ed0123214a0425a","datavalue":{"value":{"entity-type":"item","numeric-id":2474284,"id":"Q2474284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a9b309d02a05d2f0d90a5211e5ed85cb5ab811","datavalue":{"value":{"amount":"+0.7474877834320068","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":"Q543492$4E82D449-BC75-4E23-BBEC-3BEFB7237798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221f8c242ad73d0e55d7524b852c61d099345aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2255535,"id":"Q2255535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263b215c6228cd491c776d5860cebfffa2f738ec","datavalue":{"value":{"amount":"+0.7344125509262085","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":"Q543492$D0BBD604-C1D6-458F-9840-5DE27B906990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pre-torsors and Galois comodules over mixed distributive laws","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pre-torsors_and_Galois_comodules_over_mixed_distributive_laws"}}}}}