{"entities":{"Q2474284":{"pageid":2485027,"ns":120,"title":"Item:Q2474284","lastrevid":57957057,"modified":"2026-04-03T05:55:14Z","type":"item","id":"Q2474284","labels":{"en":{"language":"en","value":"Entwining structures in monoidal categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242961"}},"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":"Q2474284$68B393E9-A73F-4DB9-9EA6-6222638CC6D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71f3d101d6e070a09c27521cb8b28caeed014cc2","datavalue":{"value":{"text":"Entwining structures in monoidal categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474284$DE6C4463-29DF-4010-A72D-EACBDCBED1E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b738b847fe343b0981f692d33fb16339771232","datavalue":{"value":"1142.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474284$D5409DC4-5DEB-40AD-A8B4-D42FDE1832F6","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":"Q2474284$E5DE990A-32DE-4163-83F9-2CDE807635D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474284$F2D24120-2EB8-412A-9051-3558B7F89260","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7a5f9742d9602b2ffa7b5b520006c2546d2012d","datavalue":{"value":"https://arxiv.org/abs/0704.1231","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474284$992B30BD-8B41-41A8-893C-15C3116F31CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d1db15f3d67c78c123c7d6a54866ce024152039","datavalue":{"value":"Mixed distributive laws \\(\\lambda :T G\\Rightarrow G T\\) are comonads \\((G,\\lambda ):(\\mathcal{A},T)\\rightarrow (\\mathcal{A},T)\\) in the 2-category of monads, or equivalently, monads \\((T,\\lambda ):(\\mathcal{A},G)\\rightarrow (\\mathcal{A},G)\\) in the 2-category of comonads. Consequently, a comonad \\(G_{\\lambda }\\) is induced on the category \\(\\mathcal{A}^{T}\\) of Eilenberg-Moore \\(T\\)-algebras and a monad \\(T_{\\lambda }\\) is induced on the category \\(\\mathcal{A}^{G}\\) of Eilenberg-Moore \\(G\\)-coalgebras; there are isomorphisms of categories \\({(\\mathcal{A}^{T})}^{G_{\\lambda }}\\cong {(\\mathcal{A}^{G})}^{T_{\\lambda }}\\cong \\mathcal{A}^{(T,G,\\lambda )}\\) where the last category has as objects \\((M,\\mu ,\\delta )\\) such that the \\(T\\)-algebra \\((M,\\mu )\\) and \\(G\\)-coalgebra \\((M,\\delta )\\) are compatible with \\(\\lambda \\). These ideas can be recast in terms of a monoid \\(A\\) and a comonoid \\(C\\) in a monoidal category \\(\\mathcal{V}\\) where \\(T=-\\otimes A\\) and \\(G=-\\otimes C\\); then \\(\\lambda :C\\otimes A\\rightarrow A\\otimes C\\) has been called an entwining structure with notation \\(\\mathcal{V}_{A}^{C}( \\lambda ) \\) for \\(\\mathcal{A}^{(T,G,\\lambda )}\\). A comonoid morphism \\(g:I\\rightarrow C\\) from the tensor unit \\(I\\) in \\(\\mathcal{V}\\) is called a group-like element of \\(C\\) (although it is more set-like in such a \\(C\\), and is not really an element of \\(C\\)). The paper relates the requirement that \\((C,g)\\) be Galois to a comparison between \\(\\mathcal{A}^{(T,G,\\lambda )}\\) and the category of modules over a certain monoid \\(A^{C}\\). When \\(\\mathcal{V}\\) is braided, a corollary is a generalization of the Hopf module structure theorem on page 84 of the book of \\textit{M. E. Sweedler} [``Hopf algebras'', New York: W.A. Benjamin (1969; Zbl 0194.32901)] giving an equivalence of categories \\(\\mathcal{V}\\simeq \\mathcal{V}_{H}^{H}( c_{H,H}) \\) for a Hopf monoid \\(H\\) in \\(\\mathcal{V}\\) where \\(c\\) is the braiding.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$5D3B4078-54F3-4017-B0CF-ACFA94A909DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474284$F53849A8-4097-4B83-B8E9-86D80088AAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474284$0DE49254-666F-4181-8234-7929DC71F393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfb491dbbf6275d2388dc0c9dc84b02c664d6331","datavalue":{"value":"5242961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474284$3D9E15D1-968F-4EA7-A83B-0EF032069401","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34c2c8da631f644c90e4c30a7170a787e873122","datavalue":{"value":"distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$6C0198D0-DD2F-4C0C-B5E1-06DDEB0785AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$48EDB232-AB7F-40FB-8F23-149E1836E55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$B4892364-9E72-494F-9B31-16B0D92128A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e8a6450c264e1b1b5c1371fb66a3b6782e1dce","datavalue":{"value":"coring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$08D62176-03C8-4448-A5C1-6C08021045D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$451B5298-8580-467A-A8DC-C2971121E6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc2d2efaef12a9087b6a2a36257fe88aa75dbc","datavalue":{"value":"Hopf monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$92913384-25D9-4896-9D62-63A3D4A251C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a13e66e9ecd5bd97c9dcb514eba61be5c3f8508","datavalue":{"value":"braiding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$489A001D-B5FB-4B92-B4A6-6FF846649643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f93dfdbc7430f0b25f46815e8c4a469a8ebc760","datavalue":{"value":"entwiner","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474284$4060900D-3438-428E-9930-F48EA5909DAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e5ebac7a6073fe2435d2432f62c2378d8cd3c8","datavalue":{"value":{"entity-type":"item","numeric-id":354669,"id":"Q354669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$D0BAE65E-8067-4AEF-8A40-59572D5D2E2B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$F4DA10E6-6DFC-4CEE-96C7-B25A7095E62E","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":"Q2474284$DF463C08-A422-4093-927C-69CBF51CD8A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d0c9e904192d1135118502da46b29412433da55","datavalue":{"value":"W2104843582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474284$AC09C4A4-DC78-4041-A051-8FD6072BB451","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$BFD6E32D-15D4-4820-9F24-F869D5B15A28","rank":"normal"},{"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":"Q2474284$D4F4B02B-F41A-4403-9F25-68D7716D002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$0C60FF69-78C3-4E53-A437-C3269EE00C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1801f2b7d6de0d70b0fab1396cc4a9b4155f67","datavalue":{"value":{"entity-type":"item","numeric-id":1850945,"id":"Q1850945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$4A86FC58-0170-460A-A246-EE4FE85BB028","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":"Q2474284$38E92B02-5B99-43DB-BA19-4A54BDC21587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1058c6fb11b3c575ac781889a29c8272d3fe76f1","datavalue":{"value":{"entity-type":"item","numeric-id":4431279,"id":"Q4431279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$21DC8FF8-C052-451F-86C8-EB7A0A270F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f9a0ce684d5e4fbb6b0a4b0dd9b3efeb21fb57","datavalue":{"value":{"entity-type":"item","numeric-id":1861499,"id":"Q1861499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$02C9BB31-5563-404C-9EF5-0389475458E5","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":"Q2474284$206A82EB-5466-4E53-BF9C-CFA2E4934CFE","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":"Q2474284$707D3406-7E53-4C5E-9356-A398291B849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$4E60B986-0E3F-4C95-BD36-DA0503F18CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690cc48a2fd397aaf2d65f3eb163c52d41617813","datavalue":{"value":{"entity-type":"item","numeric-id":5719209,"id":"Q5719209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$A517F17A-D6D2-40FD-BFEB-6EF4E8949B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$07C8C6D0-BA56-4024-A541-EA60B7FFA79B","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":"Q2474284$2A4A4FA6-2336-4839-907F-42BA2D7C4EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a44085d720583b6823756db877878dc38736908","datavalue":{"value":{"entity-type":"item","numeric-id":2558371,"id":"Q2558371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474284$DB4DC3C9-E193-41F7-823D-8A2985DA8FBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11a726c98e5dabf406e05d202e991b6d133169d6","datavalue":{"value":"10.1016/J.JALGEBRA.2007.08.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474284$C8AE7AA6-157E-4F73-BA2F-B6AFEB9E04C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0817e1fd225d995bf2c3a83d6d42cc39f60b356c","datavalue":{"value":{"entity-type":"item","numeric-id":5318484,"id":"Q5318484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a678f7400dc8d45092267fbf221632a109da4963","datavalue":{"value":{"amount":"+0.8615931868553162","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":"Q2474284$5146B95B-0676-46EC-8E07-BFA5BFA552FC","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":"5c84fcaf4377e22ace37a4b8ff88685046d7af60","datavalue":{"value":{"amount":"+0.8472057580947876","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":"Q2474284$682DA8C5-1A43-45DB-8969-93C4DAD66955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bb5822bc00fd927f9dd9fac4e6a9e2b2ceff1d","datavalue":{"value":{"entity-type":"item","numeric-id":2341535,"id":"Q2341535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dcd1e76b59e813b2d7bc9d6d7738df5b8f47fa","datavalue":{"value":{"amount":"+0.8210445642471313","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":"Q2474284$5802716C-EB04-4B21-9B92-3DCFF0B0D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bdce117ddf215bec8eb70569d7ba1f93283bc0","datavalue":{"value":{"entity-type":"item","numeric-id":5256899,"id":"Q5256899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8223d5cee47972d4243d9bc41662cd01f762d385","datavalue":{"value":{"amount":"+0.8102436661720276","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":"Q2474284$FBD4DCCA-E1FA-4705-83F4-CD59284E433C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43def22caef529894ce4515f41943bbbe17664ef","datavalue":{"value":{"entity-type":"item","numeric-id":5945121,"id":"Q5945121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac06eb2296aecd93b66646157db7ce309ed1468","datavalue":{"value":{"amount":"+0.8072716593742371","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":"Q2474284$52861DF6-17DE-45E9-85B8-45310EFDBCCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474284"}}}}}