{"entities":{"Q5930756":{"pageid":8107558,"ns":120,"title":"Item:Q5930756","lastrevid":47603281,"modified":"2026-01-02T04:57:27Z","type":"item","id":"Q5930756","labels":{"en":{"language":"en","value":"Beyond the Chu-construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590596"}},"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":"Q5930756$63E3D1B8-F905-4176-938C-D190DE2BAD4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46f60cf5993e1b3d33b0c9870b6bcf1719d5b9e7","datavalue":{"value":{"text":"Beyond the Chu-construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930756$A6FF6A70-D2E3-4213-AE3E-9539B1437774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b23fe15ea9cb35b8afc36ef5a843c9a2befce559","datavalue":{"value":"0982.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930756$3878E545-2441-4A41-A76D-E003131EA030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75b0fef63b6a0956660218495eb7e310c20ad0a5","datavalue":{"value":"10.1023/A:1008731705603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930756$1CD1C8F6-6485-425A-8EF5-293EF549D6EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb4ddc17aab734358a29d50934e1c097ce70d2db","datavalue":{"value":{"entity-type":"item","numeric-id":173924,"id":"Q173924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930756$667816CF-2362-4486-8A1C-2F50511795AE","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":"Q5930756$B7B23A20-9D03-494A-8D8F-9F2BA9A92EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c13d1740a28716c4c5bfcac03995e635a2c76533","datavalue":{"value":{"time":"+2002-04-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":"Q5930756$C1903398-F85A-445C-9ABB-C02DFD545B90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e8e285ed35070710fcf35441447742dbef7740d","datavalue":{"value":"The so-called Chu-construction of a *-autonomous category from an autonomous category has received much attention and study since it first appeared in the late 1970's. Most recently, \\textit{M. Barr} (whose student Chu was) has returned to study the subject extending the construction to nonsymmetric *-autonomous categories [Theor. Comput. Sci. 139, No. 1-2, 115-130 (1995; Zbl 0874.18004)], and revisiting it further [Theor. Appl. Categ. 2, No.~2, 17-35 (1996; Zbl 0857.18009)].   The article under review tackles the Chu-construction from the perspective of bicategories. The first section develops the notion of a cyclic *-autonomous bicategory. This generalizes Barr's notion (the one-object bicategory case) and includes the bicategory \\({\\mathcal R}el\\) of sets and relations (this example has been considered by the reviewer). Starting with such a cyclic *-autonomous bicategory \\({\\mathcal X}\\), the author shows that the property of being cyclic *-autonomous carries over to the categories \\({\\mathcal X}\\)-\\(mnd\\) and \\({\\mathcal X}\\)-\\(int\\) of \\({\\mathcal X}\\) monads and interpolants respectively, provided that \\({\\mathcal X}\\) locally has coequalizers. The final section of the paper revisits the above-mentioned work of Barr in this new setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930756$B05C3297-B0FC-4C90-BD88-08A7841D3ED8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930756$37AC6804-0D83-41AF-9803-F2FFCBE16435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930756$89DC9799-6ED9-4535-A427-C1E71C0CFA21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0600e7cb966c687384a988a29087e3ad0f9973a","datavalue":{"value":"1590596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930756$03164BD6-182E-493B-BA76-60C94319A6B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5ba9f4551cf3863c93e0b720f49ffe9b0e086a","datavalue":{"value":"nonsymmetric *-autonomous categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930756$46F2EA5E-6FB4-41C2-8861-35FD4EB01755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacd7a77e8e41711294aecf8cb3e501eb28cd592","datavalue":{"value":"Chu-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930756$6D20E58D-32F2-43C1-A4F9-FCC950039CC3","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":"Q5930756$5D3E4BC6-51AB-48C4-87EE-1432B5402C20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bcae135cb60df20ad451911f4174ce1a97b910","datavalue":{"value":{"entity-type":"item","numeric-id":3413930,"id":"Q3413930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce8d83d7c5ada5e5e051eafe5f280d172a60834","datavalue":{"value":{"amount":"+0.8675867319107056","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":"Q5930756$0B58FC41-C03B-49D3-8F66-654A0D568C1C","rank":"normal"},{"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":"e3445c8bdb1e820f8a991eaeb34ad68b3c875225","datavalue":{"value":{"amount":"+0.8578211665153503","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":"Q5930756$C1ECB06E-2972-4A85-96FF-EEC765B4B523","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":"055660f26576b165aab56c7e4a39a52fd5a70c83","datavalue":{"value":{"amount":"+0.8574444055557251","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":"Q5930756$9E8C1569-DE5F-4E44-BA98-D88EFCC45D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce5767fa487ab5c3933eb8594cae6bebd04e998","datavalue":{"value":{"entity-type":"item","numeric-id":2785695,"id":"Q2785695"},"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":"Q5930756$76ABE557-BFF7-42E1-BD95-D115AD1FD184","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":"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":"Q5930756$E11298A8-98FE-47DE-BD96-D14B30846634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930756"}}}}}