{"entities":{"Q2639952":{"pageid":2650695,"ns":120,"title":"Item:Q2639952","lastrevid":49460509,"modified":"2026-01-07T05:02:02Z","type":"item","id":"Q2639952","labels":{"en":{"language":"en","value":"Accessible categories and models of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185890"}},"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":"Q2639952$0FCEF70D-6A30-4959-9D6F-DBE36B1A1A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"748dbc0b2d84e8f5e2d63d19c2be13d01bcb9998","datavalue":{"value":{"text":"Accessible categories and models of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639952$C95B6F2C-3D93-4F36-AADC-176C31CDFC42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c1c351c1b30021fb2669039fa72f27d8c2a02f3","datavalue":{"value":"0719.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$EA90BAF6-E4E7-4F66-8FBE-D82BAF6EC582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54a90c6a750f27da0e44a3f1c493d6bf7fd9437f","datavalue":{"value":"10.1016/0022-4049(91)90020-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$6D205F97-5B9B-4727-AE94-C84FE114ABCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98927fdef2ca764d37388c9b78c07b1c49fd21c5","datavalue":{"value":{"entity-type":"item","numeric-id":599897,"id":"Q599897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$312671CC-3659-4869-8CCA-9016AEAD84F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$6C403F86-D19E-4E31-99C0-21D884C61630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2639952$D7F9EB0C-71DD-458F-B46D-05FD1C2642A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"106d8507cbf145f97c94e4d6c8ea6326057c5a21","datavalue":{"value":"In ``Constructing *-autonomous categories'' [Appendix to \\textit{M. Barr}'s book: *-autonomous categories, Lect. Notes Math. 752, 103-138 (1979; Zbl 0415.18008)], \\textit{P.-H. Chu} provided a ``doubling'' construction which produces a *-autonomous category \\({\\mathcal V}_{\\perp}\\) from a symmetric monoidal closed category \\({\\mathcal V}\\), together with a choice of ``dualizing object'' \\(\\perp\\). This construction has recently become of interest in the search for models of Girard's linear logic, since *- autonomous categories are close to providing such models: what they lack, in general, is cofree coalgebras (required to model the ``of course'' modality). The author proves that if the base category \\({\\mathcal V}\\) is locally presentable and the object \\(\\perp\\) is suitably chosen, then \\({\\mathcal V}_{\\perp}\\) automatically has cofree coalgebras and is thus a model of full linear logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639952$F3235E1A-C8CE-4FC1-AEAC-D133FBC00910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$B154C375-137C-4A54-9965-300282BB2EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$1CFEF1E6-2114-42A1-9475-C817CA246EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$C4850660-083A-4CDC-A59D-12046003888B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ea0e127c05932eb191e2472b1bc845b6662546e","datavalue":{"value":"4185890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$2078963A-B392-4C4D-9895-D6CD80A6EBAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a7d41d5210aea0dd8008059442be478e8f9001","datavalue":{"value":"*-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639952$34022A6D-DD5E-4115-A96C-679552BACB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46299baa1baa8aad3e6449a07fa9c249b88d007e","datavalue":{"value":"closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639952$49982EC1-FE7F-45D7-AFDF-DE4BC744C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc51c3f8d8e9e8dab3dcde39038e0cd48dbe575","datavalue":{"value":"dualizing object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639952$3D5A9B62-1E4F-4966-8A23-49A6D381F597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4248a8eb14eaa023aec62b091611d7bbd7106b61","datavalue":{"value":"models of Girard's linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639952$C2B09C11-A2DB-4700-BABB-A20F1E045A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eb4478b32cc6b416c4d966b1d86c0546767af14","datavalue":{"value":"cofree coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639952$3F2D0133-20B7-4FD1-B000-AADBD7A6AA32","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$24E12938-0CC5-4A77-A5C2-91710403519E","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":"Q2639952$E821B782-5AC3-4FF2-AA21-C216CD6ABB72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4a17988924eab5ba2c93bca12ab5fe93ddf5d82","datavalue":{"value":"https://doi.org/10.1016/0022-4049(91)90020-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639952$FE6CEC24-C509-4906-AEBC-726A5D89347F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"562d9ff29e2ced5dd180313656643b2cb8600917","datavalue":{"value":"W2077767673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639952$61158F2C-6D96-4227-BB3D-4B245825B5FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78fecf7208d5e10f58f024bcb0693e17a99a822","datavalue":{"value":{"entity-type":"item","numeric-id":5620723,"id":"Q5620723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$B446D773-E928-4C92-8787-548650407A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$400E6F8B-3050-42DF-8845-8DFA7C893912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$06C38381-C1F8-42AE-BE17-BB43674D70C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$C57BB0B7-0FA0-4442-B66A-357C3150E524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56397b7deb61d3c84140e031e19be53ff24e2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1112582,"id":"Q1112582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$6E343AA9-C22C-40F2-A3E9-A2A116129FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ee0fcef59fce8c47740626601570182cd685cc","datavalue":{"value":{"entity-type":"item","numeric-id":2841498,"id":"Q2841498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$2A6B077D-72F1-4114-AE99-C8AF95A6D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdaac06e68f6b31b24b191c6444d10093c65340","datavalue":{"value":{"entity-type":"item","numeric-id":3829551,"id":"Q3829551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$7521BFB8-098D-416C-BBBE-93DE8C50D2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6105bb89fce02892938ee6914c56d48367a0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5096268,"id":"Q5096268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$205FAC71-93DA-4EDC-B83E-5CF2FECF2A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639952$44E4206B-4FDB-4D3F-8209-F782DE5A8257","rank":"normal"}],"P1643":[{"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":"b5e0214971d7394f7fda2c8378407319f07889bf","datavalue":{"value":{"amount":"+0.8794646859169006","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":"Q2639952$AA43A886-3DEC-4D3D-AF9E-9DA940A73860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e447db0e23abe3fa8e0aac8072a69c9ccecbbf80","datavalue":{"value":{"entity-type":"item","numeric-id":4888798,"id":"Q4888798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9020d24c7da4c94e6bca5f25f083accf1433d2c","datavalue":{"value":{"amount":"+0.879221498966217","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":"Q2639952$02A7A6F0-4EE7-4C9E-95E5-74B6DFB0C087","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":"e5deded53c18db7d7fcff15fa126fd1982997165","datavalue":{"value":{"amount":"+0.8414251208305359","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":"Q2639952$9009D8D2-E160-4CF6-82E9-7E34DAA78F7C","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":"4018fe2c6352358bbab59803b2d8e2326e8677c3","datavalue":{"value":{"amount":"+0.8396636843681335","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":"Q2639952$CBD5ACA6-0E08-4298-A728-A95E29B2B82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359aa83dce47154753cee4ee3fd6d93a17a1cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4650576,"id":"Q4650576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ecd845fa80e3a7cbecb5761d8816d6ee4a89cf","datavalue":{"value":{"amount":"+0.8395363688468933","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":"Q2639952$F5BFE912-5797-4EB9-8F1A-563EFCFDFAE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639952"}}}}}