{"entities":{"Q1588062":{"pageid":1598802,"ns":120,"title":"Item:Q1588062","lastrevid":72263256,"modified":"2026-04-14T03:43:48Z","type":"item","id":"Q1588062","labels":{"en":{"language":"en","value":"Feedback for linearly distributive categories: Traces and fixpoints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538798"}},"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":"Q1588062$1AC67DD6-615E-4E64-B452-8F90C6173385","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61ab9c4b8e783e2e7490062370fb348bff6bff52","datavalue":{"value":{"text":"Feedback for linearly distributive categories: Traces and fixpoints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1588062$AD592FD9-1D2B-4846-81C6-545EF6CF78F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72809a7b13fa002988cad389a1738a2a1bf93fe9","datavalue":{"value":"0964.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$4A93695B-E623-41CD-8ED1-985DC948A452","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5cec0aa0f22ac508d7efd52927ab7b42ff8f2c0","datavalue":{"value":"10.1016/S0022-4049(99)00180-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$17B5CDEE-B475-48FC-8BFE-CEB17B736B86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$BBAA5F5A-2299-4E7C-9671-5E24560EFD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3de85f6c33c712dd4c532c867e0f7e1c3d5d050","datavalue":{"value":{"entity-type":"item","numeric-id":1421607,"id":"Q1421607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$80E77641-A158-4F11-A2E8-672A38EDC00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$FF7D5220-F4CD-446F-BE18-AC9504A188E8","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":"Q1588062$3E81ACAE-B69E-473E-9CC5-C32DE2A9BDCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93a856ec74c83d630bb9a006b922edf955f6e7da","datavalue":{"value":{"time":"+2001-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1588062$D63B944C-4A72-44DD-BDA2-7409D1BB1FFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"848874b063ae6ddef8cb7228ff37d31bed596874","datavalue":{"value":"A new approach to understanding the ``geometry of interaction'' (that is, the computational aspects of cut-elimination in linear logic) is presented.    Two previous categorical approaches to this problem were given by either using fixed points [\\textit{S. Abramsky} and \\textit{R. Jagadeesan}, Inf. Comput. 111, No. 1, 53-119 (1994; Zbl 0803.03014)] or trace operators [\\textit{A. Joyal, R. Street} and \\textit{D. Verity}, Math. Proc. Camb. Philos. Soc. 119, No. 3, 447-468 (1996; Zbl 0845.18005)], although both approaches were proved equivalent in that a category with a traced product is precisely a category with fixed points.    In this paper, the notion of trace operator on a linearly distributive category is introduced, and the possibility that an object may have several trace structures is explored introducing a notion of compatibility.    This approach to the construction of Abramsky and Jagadeesan [loc. cit.] leads to a linearly distributive category in which traces become canonical.    Finally, the relationship between the notion of trace introduced in the paper, and fixpoints operators is investigated, showing that an object admits a fixpoint combinator precisely when it admits a trace and is a cocommutative comonoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588062$6C60956F-E6F4-4890-90B2-56BFC449355A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$70FCBAE7-BBEC-4626-8C53-B3EAA6A52B23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$5C452EA8-E018-47CA-BBAB-16707864224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$53052334-B2D5-4813-B0EE-91746A5BF166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$F98D4C1F-14D8-47CD-9515-D6C55B4DDC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$DC3C63D4-CD77-43C3-A707-B6EC7BA93291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$B6DF2DEF-9EFC-40BB-B26C-8B6EB52153F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5b8c484e09998f4bac4fc07ea66395e4913c921","datavalue":{"value":"19D23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$1B672979-C66B-42C6-ADF8-13AA6B62C9DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2c63d38639982b2b39738ceb158329a1ee2ce2","datavalue":{"value":"1538798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588062$06EC90C1-695A-4ECD-8E5D-5654BABA8845","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4571df467ba9795d2007b44fc83019e57e357d08","datavalue":{"value":"linearly distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588062$CB10318A-77AD-4A73-83D9-5A2084C4B72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588062$6F8EBD45-103F-41C0-9410-2BEF98D02754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588062$5B519E93-8603-46ED-A0D7-33BA3483CC4F","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":"Q1588062$C3497BE3-AEBB-4C18-B09C-2F834A8267EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f9a411bcaa82f68e52092d79e5583055ef896","datavalue":{"value":{"entity-type":"item","numeric-id":6104362,"id":"Q6104362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$39E1A431-DC1E-45F8-87BF-2A6F6839DC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fc405d82697a671b0ec0b92b9342f8c2268798","datavalue":{"value":{"entity-type":"item","numeric-id":1818626,"id":"Q1818626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$4E91A347-C418-41AA-A8AB-11A91A67794E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b678264d2d2d9e0f9750b5f2983826108b789e68","datavalue":{"value":{"entity-type":"item","numeric-id":1327394,"id":"Q1327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$4B960673-6C5A-4992-A74E-32C062C7949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a37e1cea15f374069f32e15730dc1397414b0","datavalue":{"value":{"entity-type":"item","numeric-id":599898,"id":"Q599898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$8AEF7067-C791-4627-80C0-96C19740D00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b4f979eb81b4b7025a0cee5ac2be0013f5963f","datavalue":{"value":{"entity-type":"item","numeric-id":4100554,"id":"Q4100554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$5CF3CFB5-0496-4326-931F-AE3DD3F73713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254120c88e9c3559b42efc26b3a244c3a30cada8","datavalue":{"value":{"entity-type":"item","numeric-id":4715669,"id":"Q4715669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$DCDD3B67-7D7D-4677-BBD8-210EC61296BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$967D224D-CEA3-4142-B3B9-DE5F9AB83386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$1170BBC4-62AD-46D8-84E0-AEAB4F21F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b020a137265ace65086d5413e4842e3f5822c56","datavalue":{"value":{"entity-type":"item","numeric-id":3138536,"id":"Q3138536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$4EFA6E73-C6F7-45D7-BDE7-25CC80E9065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$FC330FA9-6C78-478A-B0C3-5D378F30B065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$10252453-EB32-4A9B-9A5D-61AB32AAC22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe32c56634fc0606f2501355777421a9de85e69","datavalue":{"value":{"entity-type":"item","numeric-id":1818630,"id":"Q1818630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$56F19E67-D602-4F69-81EC-6BCBF5006D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$59F51B4D-C360-40AB-B6FC-982E3706E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7519002aaf56175ed746e34f1343370ee4bb3c","datavalue":{"value":{"entity-type":"item","numeric-id":1188612,"id":"Q1188612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$0A92286C-1C20-41DF-A01E-01F16CAE7552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$520CC4C5-8B88-4FEF-89AD-31D5939CBABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85e76c35258a509d04e0df45a919af68a603be0","datavalue":{"value":{"entity-type":"item","numeric-id":1117022,"id":"Q1117022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$8A036E51-EC27-4FAE-9826-F6A19864E312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae61dcb8b93acac30f28ab1f246924b5f3d50e6b","datavalue":{"value":{"entity-type":"item","numeric-id":4222890,"id":"Q4222890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$287B75D4-99D0-4C98-AF2D-86E68638DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$E216654D-7739-4A4A-8216-EB83F5ED4E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$78ED718E-1196-4C09-BE0D-5ADDEC57A3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652e56fafd3a986ef27cf8891d2941a0ad8f1250","datavalue":{"value":{"entity-type":"item","numeric-id":5727254,"id":"Q5727254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$83055D46-FB4B-4674-A900-38410125D5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48dcf1a37ca01ddb742ea1a2d08403ee0bf6486","datavalue":{"value":{"entity-type":"item","numeric-id":685386,"id":"Q685386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588062$08CA4496-3D6A-48E9-8080-36B5C837F104","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555df045c6093a283b3dad0fdc7b10b3418ce7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4787833,"id":"Q4787833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f14d240a30c2698b5d1b886288f9e04171404fa","datavalue":{"value":{"amount":"+0.817124605178833","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":"Q1588062$74934640-B705-4FD7-AA8B-80FC6E72CE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb994b7c0cde8d0774ce2622148a6c66c729d01","datavalue":{"value":{"entity-type":"item","numeric-id":4792973,"id":"Q4792973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fd355aff17fb6d574d1ac64179c82d7b0f6ba8","datavalue":{"value":{"amount":"+0.7607364654541016","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":"Q1588062$2F2CA5AE-79ED-464F-9DEB-AEA64F7043A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459ff8d2a014d237d7f6dbabae4755a17db08726","datavalue":{"value":{"amount":"+0.7540973424911499","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":"Q1588062$DDE474E8-7D92-4F54-BF1B-7709C532241F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba65405e6840ef59dd4bee3168c21dfcd7a24a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2919453,"id":"Q2919453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39eb0203aeb9a3663a5d7ec4664ae9f1b16030ad","datavalue":{"value":{"amount":"+0.7535508275032043","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":"Q1588062$A1115594-A510-4508-8730-77F09A8DA988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23d0d506b3c04e3059aca284a58e3bb29409a2b","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdcc35e2f6c728f499a8dca27e00aba4ddef3da","datavalue":{"value":{"amount":"+0.7531230449676514","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":"Q1588062$18A05D97-CE92-4DFA-A0AD-7D2181082790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Feedback for linearly distributive categories: Traces and fixpoints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Feedback_for_linearly_distributive_categories:_Traces_and_fixpoints"}}}}}