{"entities":{"Q2884478":{"pageid":2895203,"ns":120,"title":"Item:Q2884478","lastrevid":83902112,"modified":"2026-05-07T13:41:06Z","type":"item","id":"Q2884478","labels":{"en":{"language":"en","value":"Note on star-autonomous comonads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039023"}},"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":"Q2884478$4E0A0D69-8F70-421D-9CB3-B8C294E87113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"929df30aaec4ace3ee2f8c68177f05f9c0df62ff","datavalue":{"value":"1247.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884478$C54BA1DF-881F-4537-813C-B9E06E8CA9CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d8047b677a36e307cc9bbb6b9315bc65a6f74ae","datavalue":{"value":{"time":"+2012-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2884478$AD690ED0-CC6A-4CDA-90D5-127FE6338ABD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac39b4e5db965223f30124cd1ed586098e20b48","datavalue":{"value":"https://arxiv.org/abs/1010.5304","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884478$710483C5-49D1-4DFE-B195-2C0100114BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"57f7d0b46e7b820fd8a8dd9bd593dcb75f8cdd37","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/26/7/26-07abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2884478$8061CE75-2BA5-4E12-A2A1-7FB8419ED211","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884478$7A80FB12-580F-40D4-800B-D673F17B2C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884478$700ED754-EFD9-4DDE-B774-87550A5A44D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884478$F20225C8-CF41-4E16-BD91-777B281F6470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"392351d722c88675224716c52bf8cd3d3070d93b","datavalue":{"value":"6039023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884478$DE9A524C-245E-4F99-90C0-FECF0C66D194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f9ca724a47abf0ae268f1145153d41e085190e","datavalue":{"value":"star-autonomous","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884478$D7663A58-9E7E-424E-AA5C-30F530C636E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6099a5e85f0c70f878497b5a0334b3d352d22f7e","datavalue":{"value":"autonomous","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884478$51FB15CD-D879-4720-8930-600E4288A36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a43523fe4d04b9c51fb9698d1923e9abdd24fb7","datavalue":{"value":"linearly distributive category with negations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884478$D03BBCF0-87EC-4F92-BB6C-19BACECAC49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884478$9A9DCF1B-16EA-4C3B-9835-CA9967A10B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78a340aae84fe93b7a72fd8000eaa3dc3c15078","datavalue":{"value":"Hopf monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884478$FC3F5CF1-776C-4569-8F7E-9B52F1D69F77","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":"Q2884478$95B93BEC-1163-44F8-9D27-DA1D919657D0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"8c7d849e42c9a079fd03eaa80d7d53220ec5f8f9","datavalue":{"value":"bafkreicblajmrkyyjwzi64xi6d7k5ugzkq5kp32otizti72byu66qaht6q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2884478$9970045C-C5D6-48B2-9F09-142535981C38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e23dec27a5c5c703666f4a0688ddc71c701fc2dc","datavalue":{"value":{"entity-type":"item","numeric-id":6214762,"id":"Q6214762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884478$5C95B68A-0D73-4E79-AD0F-51F3435B3A09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"943d6f9994dcdbc98a554ef592b959185bf97f1a","datavalue":{"value":{"text":"Note on star-autonomous comonads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2884478$42F5BF74-AD22-495F-BFCC-4123A962C189","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884478$0DD3296D-92F3-40D0-A265-AC151EF741E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"583db65e8ae5189f7f904fdef222e970334c7c08","datavalue":{"value":"A linearly distributive category \\(\\mathcal C\\) is a category equipped with monoidal structures \\((\\mathcal C,\\diamond ,I)\\) and \\((\\mathcal C,*,J)\\) and natural transformations \\(\\delta_l:A*(B\\diamond C)@>>>(A*B)\\diamond C\\), \\(\\delta_r:(B\\diamond C)*A@>>>B\\diamond (C*A)\\) satisfying a large number of coherence diagrams. It is determined a sufficient condition for a comonad \\(G\\) on \\(\\mathcal C\\) ensuring that the category \\(\\mathcal C^G\\) of Eilenberg-Moore coalgebras is linearly distributive. A linearly distributive category \\(\\mathcal C\\) with negations is, moreover, equipped with two negations \\(S,S':\\mathcal C^{\\mathrm{op}}@>>>\\mathcal C\\) and evaluation and coevaluation morphisms satisfying triangle identities. A sufficient condition for lifting negations into \\(\\mathcal C^G\\) is given. As a consequence it is shown that linearly distributive categories and star-autonomous categories coincide and that star-autonomous monads on autonomous categories are Hopf monads.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2884478$1F2F3F5F-A0AB-44BF-ABB2-D23E81785453","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2884478$06B83BF0-BE63-4C43-9992-AE0B7757580D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3073b86930249d167e989bea2be172328d5aee65","datavalue":{"value":{"entity-type":"item","numeric-id":4555337,"id":"Q4555337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c498808e4f9756919775d1e471c5eb09987e4d","datavalue":{"value":{"amount":"+0.8845929503440857","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":"Q2884478$5B1D84A9-B50E-4BDA-85F6-28F5B490EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858b266d5e814d6613adbaefb412cf19d40aa069","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176020b6ab4707a302975006a9dbedbc613b4bde","datavalue":{"value":{"amount":"+0.8764649033546448","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":"Q2884478$C4F716CB-5D97-41A3-8E74-12145B7C66D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d2c1934abc0491f50df58bad9eb9dc889c8ba2","datavalue":{"value":{"entity-type":"item","numeric-id":3519055,"id":"Q3519055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633de03b739a5038e53f73978b6f6b81f13c09a6","datavalue":{"value":{"amount":"+0.8101146817207336","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":"Q2884478$CBE6F711-7B56-4094-B0AD-26721FA6C78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c0ef94ec9b8af1e1d1d5539bf9666cde4c6fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3552041,"id":"Q3552041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54f4a00841baf828e8a5ec5c45cad5f8d29414a","datavalue":{"value":{"amount":"+0.8009516000747681","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":"Q2884478$CE11589D-5E74-4D95-87D0-0C2AE5C27AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f2a7f21a009b8ed25035e3554ab5c843a665b0","datavalue":{"value":{"entity-type":"item","numeric-id":834844,"id":"Q834844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43868b737cf96cfd54a3d68f587c3cb4bd40ae4","datavalue":{"value":{"amount":"+0.7764806151390076","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":"Q2884478$E6633540-74A7-428B-A32D-50A1410739B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on star-autonomous comonads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Note_on_star-autonomous_comonads"}}}}}