{"entities":{"Q2785695":{"pageid":2796433,"ns":120,"title":"Item:Q2785695","lastrevid":83325017,"modified":"2026-05-07T07:14:07Z","type":"item","id":"Q2785695","labels":{"en":{"language":"en","value":"Chu. I: Cofree equivalences, dualities and *-autonomous categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 981836"}},"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":"Q2785695$509CE7F5-5842-45A6-AC8C-B5EF00A41BF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"644a556fd2d94b98e610def6b64aafbc2296f8ab","datavalue":{"value":"0878.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785695$588C76AD-987F-4E00-BDBD-14E733630A2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e53119989c4331064e30ecc19a960aa61c5d08f","datavalue":{"value":"10.1017/S0960129596002046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785695$D4E88F27-A0C6-458B-A9A0-40DC801A166E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785695$6B5B1651-7CB3-40BF-A677-9BAF339BE4BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b77edce312bd4bf7268237a07024ad74bbe1701","datavalue":{"value":{"time":"+1998-01-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":"Q2785695$E741A9C8-601B-460A-9BF7-2E348D275390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785695$5E982B72-F15E-4488-A4EF-C5DF1F1050D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785695$F9165671-2E87-4FDE-A608-E19A29A7B45A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d55552271342c7761902b3eb0c708c0be45f63c","datavalue":{"value":"981836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785695$CBC8FBA5-3A3F-4DF6-946B-BA80A1A44A8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc62728f3da45a208be762803dd0928efb0d3e6","datavalue":{"value":"dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785695$CEF11560-D0A2-466E-8CAC-68135DB6E713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c70af952fc9e41d16d81e7348cc8412e84557151","datavalue":{"value":"comma category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785695$10092A32-5FF3-4179-8073-4AAA7896F6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa157e020ac05b5f97c46fae669f0fd53a47899a","datavalue":{"value":"Chu construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785695$F8B6C5DA-16B6-4559-BFA1-CD52692CECC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b95c4bce05703ceab8ff6a1520b92a1dcef0a2b","datavalue":{"value":"*-autonomous","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785695$9A5C9C81-C04C-48F9-BFE2-0F68615F6DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0a08bb303e6610338b515983427225882dd2dc8","datavalue":{"value":"Dialectica categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785695$7F355A3B-BA4B-45A5-BCA8-794266919D7C","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":"Q2785695$0ADB7D11-65A3-45DB-8099-A20FE1E1AF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fbee80b5805896c7f69c8b26cbf99bdfa50db66","datavalue":{"value":"https://doi.org/10.1017/s0960129596002046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2785695$411F39C0-3C5C-4898-BFF6-914B2E023B15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67da763a962159981b03c16936d533e15e555e3a","datavalue":{"value":"W2058318878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2785695$B779418A-A391-4303-B821-1F5C44061ADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"101accb39f48f4bc1fa82ef6f8b7daec5d0d457c","datavalue":{"value":{"text":"Chu. I: Cofree equivalences, dualities and *-autonomous categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2785695$ABAD7376-9684-4499-885E-E9B646D6C553","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785695$5B9F6962-5374-470C-A58C-3E009204CC93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75e9a6f86a7ff5611705a9c17e29cf4421a383ff","datavalue":{"value":"The Chu construction yields, for any fixed object \\(\\perp\\) of an autonomous category, a *-autonomous category, with \\(\\perp\\) its dualizing object [see \\textit{M. Barr}, Lect. Notes Math. 752 (1979; Zbl 0415.18008), Appendix by \\textit{P.-H. Chu}]. The author's main result is that this construction is the object part of a right adjoint to the inclusion functor of the (very naturally defined) 2-categories in question, and that this functor is comonadic. His proof is based on an interpretation of the Chu construction as a comma construction, and on a more general result which presents the comma construction as a right adjoint to the inclusion functor \\{self adjunctions\\} \\(\\hookrightarrow\\) \\{dualities\\}. The author also states that a similar result may be obtained for the Hyland-de Paiva Dialectica categories [see \\textit{V. C. V. de Paiva}, Contemp. Math. 92, 47-62 (1989; Zbl 0675.03039)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2785695$F46B3947-460A-4555-9B35-17EE38FC0670","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2785695$71647B57-7C06-4DC5-ADF4-76F8D7C5F3B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b660e34f847290d457c3a00601902843f79502ca","datavalue":{"value":{"entity-type":"item","numeric-id":1921351,"id":"Q1921351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2952864462b979eabcb163e336ddf9704ccf8df","datavalue":{"value":{"amount":"+0.8886656761169434","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":"Q2785695$7CEEAC58-6299-4E30-9B7A-25445C3C9F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcfda831896538860c484b0e3ec4307d6551a12","datavalue":{"value":{"entity-type":"item","numeric-id":4704203,"id":"Q4704203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a66e5885248c2a0a5b6c5d4be178f89cee2b9e8b","datavalue":{"value":{"amount":"+0.8886298537254333","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":"Q2785695$8533319A-A28F-451D-8CD3-2090685254D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9536627e67ce76844ece8c0d9e06ebc35abe7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4219214,"id":"Q4219214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630213941e2953a075e893bb48f6d3a94f326323","datavalue":{"value":{"amount":"+0.8575325608253479","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":"Q2785695$2EB539A4-D592-491C-9126-1C7690B2D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448a17555c07e0116bce6af2ae3982030aa4e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630213941e2953a075e893bb48f6d3a94f326323","datavalue":{"value":{"amount":"+0.8575325608253479","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":"Q2785695$B6FCBD84-EC4E-422E-9EBB-08CB1E0FC2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600494820938a054ab1f79cd1e4c7a9a02628517","datavalue":{"value":{"entity-type":"item","numeric-id":5930756,"id":"Q5930756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d733991ef87200d3b9df721dd98c0fb86edbba","datavalue":{"value":{"amount":"+0.8560909628868103","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":"Q2785695$BE50C193-2DFF-4D14-AEE3-1985B498F0CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chu. I: Cofree equivalences, dualities and *-autonomous categories","badges":[]}}}}}