{"entities":{"Q1592145":{"pageid":1602885,"ns":120,"title":"Item:Q1592145","lastrevid":43230590,"modified":"2025-07-22T14:56:00Z","type":"item","id":"Q1592145","labels":{"en":{"language":"en","value":"Involutive and relational quantaloids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1551609"}},"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":"Q1592145$1C031A56-9176-40A8-AA75-937FE61C268D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2775c9d18d56b57f6511c0eff5b4f424995a2c94","datavalue":{"value":{"text":"Involutive and relational quantaloids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1592145$6D1C9CDE-D440-4A58-86E7-E5DA6A0A25C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"418e830fa61eca6662c6bc1cf9c6458ee0a17fd8","datavalue":{"value":"0980.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592145$C66040A0-71BB-43CE-98BE-F8F15521CAC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff91fdafa3ee962b736817130c46d2614068f2f3","datavalue":{"value":"10.1007/BF02465588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592145$B59F8B28-5898-4629-8E03-A24CC03EDF92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$5D7DF86B-B47F-47FC-933A-7B9E9174F747","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae67c976b44d9568b1614c43dd5af3d04a185271","datavalue":{"value":{"time":"+2001-11-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":"Q1592145$45D42A93-3952-49B6-B401-C4CA7C4DFD52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"095531cd36a0b6b1a585d042dce7d70ad9bb684a","datavalue":{"value":"The goal of this paper is to generalize results and constructions for involutive quantales (studied by Mulvey and Pelletier), as well as those for relational quantales (due to Brown and Gurr), to the level of quantaloids. A quantaloid is a locally small category enriched in the autonomous category \\({\\mathcal S}{\\mathcal L}\\) of sup-lattices. One-object quantaloids are precisely unital quantales. For an overview on quantaloids, see the reviewer's book [\\textit{K. I. Rosenthal}, ``The theory of quantaloids'', Pitman Res. Notes Math. 348 (1996; Zbl 0845.18003)].   The first part of the paper develops the theory of involutive quantaloids and derives various properties for them under some mild additional conditions. Connections with Freyd's law of modularity are also discussed.   The second part of the paper proves an important representation theorem for arbitrary quantaloids. One of the fundamental examples of a quantaloid is that of \\(\\text{Rel}(X)\\), relations on a set \\(X\\) under relational composition. Starting with a quantaloid \\(Q\\) and a generating family \\(G\\) for it, the author constructs a new quantaloid \\(\\text{Rel} (G)\\) of ordered relations and proves that \\(Q\\) is in fact isomorphic to \\(\\text{Rel} (G)\\). This generalizes a similar representation theorem for quantales proved by \\textit{C. Brown} and \\textit{D. Gurr} [``A representation theorem for quantales'', J. Pure Appl. Algebra 85, No. 1, 27-42 (1993; Zbl 0776.06011)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592145$2B85E929-7CCD-4971-B4D5-4379B6E67728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592145$3230F0B6-572C-46CB-AFD4-2F12077FB917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592145$514B5431-496B-44B0-8C1B-76CC80396F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592145$1A2EEE1E-F7F8-4DF0-9968-6EBB97540076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be06bf61de5db226cde57e9867b51eb2f3dc77db","datavalue":{"value":"1551609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1592145$4F41DFB7-415A-431E-8CB2-FB717AD67F9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33de91626cb1b656bcea8e3b064d5b136635171a","datavalue":{"value":"modularity law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592145$B1889C92-B894-4E4C-9FA1-767F0C783FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85475279985cb2c56d5ae22e6f4aa3f8f5a3dea8","datavalue":{"value":"involutive quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592145$9ACABF03-B4AC-4236-B7CC-EAD9611E7C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43e8a545b4031b2b3e842628759bdd796894db9","datavalue":{"value":"relational quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592145$B6CA78E6-856C-4920-B0F0-6844E1F2A2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e4d44e8857685e9b1c1673484d812d98a4e208","datavalue":{"value":"involutive quantaloids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592145$38F6C138-A1BB-4F41-9C3B-346EE3544E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1592145$72B74524-B162-4C6F-9886-C8E4A63142E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2e308305410872b9997bb1dadf2a3ae08638dd","datavalue":{"value":{"entity-type":"item","numeric-id":983037,"id":"Q983037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$FA1DB929-9F34-459E-B25F-CBF64ED21FFA","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":"Q1592145$E68BAE85-57EB-4A51-9642-1658093FC54D","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":"Q1592145$96E6CD87-56D0-4255-9FBC-A69C7236498F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c009555757066d2e95d26b67bf700216b48841eb","datavalue":{"value":{"entity-type":"item","numeric-id":1077521,"id":"Q1077521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$8C846A90-1A70-4A22-A06E-B9B5D32D8EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384fd17984a11d202060326b70bb6bb0ce648ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1208239,"id":"Q1208239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$19D2A3D9-3E5C-44A8-A947-1627186541C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b0a7b6c96d095250c4a210e0ebef5d5cd95175","datavalue":{"value":{"entity-type":"item","numeric-id":1925170,"id":"Q1925170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$5268A034-D0FF-460E-981C-923F07260C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c4033b38184e904130432d02afb5d41b6559fe","datavalue":{"value":{"entity-type":"item","numeric-id":3137162,"id":"Q3137162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$D5BA7483-96E3-41CB-800A-E39D71561BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10007d57a27174da514e148071ec5d327d24921","datavalue":{"value":{"entity-type":"item","numeric-id":4836222,"id":"Q4836222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$5B994716-EFA0-4CDA-935C-A81D4A004002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee83900c3a56664d817e136527a1ae678128382f","datavalue":{"value":{"entity-type":"item","numeric-id":1366310,"id":"Q1366310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$AC5AB56D-0DEA-459F-9DC9-DCC6DA42DE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e8d1b4262b98a9f09add21b12a61ffd6125670","datavalue":{"value":{"entity-type":"item","numeric-id":1372652,"id":"Q1372652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$2D58D94D-ED9D-4804-B434-003FD79BA507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$8D1952A9-D4B9-4BF6-AD13-7919A45BBFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c12e4acb74a77eeb68969ed2ff0ad374d617d0","datavalue":{"value":{"entity-type":"item","numeric-id":4006239,"id":"Q4006239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$3F77EBCE-634F-4AA7-B511-E1A7533BABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155adc4b82480498b1a0444026d97f2d51c968db","datavalue":{"value":{"entity-type":"item","numeric-id":4884543,"id":"Q4884543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$D36FFFDF-F616-467F-B08B-BE8DACD92890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac721b1d7625c73b434b8eab4993a8f2ed98fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1902527,"id":"Q1902527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$A2B6D5F4-95DC-49F8-874C-9F38A7874DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e892573af7e0256da70a77983ca9434453220be","datavalue":{"value":{"entity-type":"item","numeric-id":4304104,"id":"Q4304104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1592145$122F2558-9600-4513-A814-B08AEBA2D88D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727c8f777b406ef913ccdbc37e3377c1c5cda48c","datavalue":{"value":{"entity-type":"item","numeric-id":4884543,"id":"Q4884543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0189b21674f0a191c8cbd8a8b91dd8d4129b726f","datavalue":{"value":{"amount":"+0.8054638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$E266ED3D-A6C4-4E0E-AFDD-51A6119D4E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735fe97c6b380b0ba10d3da0dac830653d4f233e","datavalue":{"value":{"entity-type":"item","numeric-id":805732,"id":"Q805732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183db2a3f07701ef7c4db4a29134bb6127f93ec8","datavalue":{"value":{"amount":"+0.7946505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$48A30CC8-C38A-45B6-908C-4F9026D56D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f78be20664a6a30f81dcff9127241a730a87f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1592025,"id":"Q1592025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e45d2cccf7e058a6dba55a66f934782e80f0df8","datavalue":{"value":{"amount":"+0.7890668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$4B5D3F64-86F7-40D5-AE6E-65C7BF7EE673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c1529186cf04e9d96b68bf802c541cc255354c","datavalue":{"value":{"entity-type":"item","numeric-id":3053874,"id":"Q3053874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8694c8e267856b81ce4d7984907aff41f15966b4","datavalue":{"value":{"amount":"+0.7732508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$2169D9CA-84D4-4259-A1D4-124181D49FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174706be9d2c634eb12f0a4412dbab0c290c4c96","datavalue":{"value":{"entity-type":"item","numeric-id":2791157,"id":"Q2791157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e119323578fe129d01d870ee7cd3af6cc4dd5d","datavalue":{"value":{"amount":"+0.7722441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$A6603F10-0452-4364-9982-B09DC18AEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aced93405aa9109b9394889d045fdcbbcbbe797b","datavalue":{"value":{"entity-type":"item","numeric-id":1744615,"id":"Q1744615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10741617fd74fea8ed893cfd0039d04d9aa6b0b","datavalue":{"value":{"amount":"+0.76633704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$5425D137-43E0-41C6-B394-7C84D0CEBC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69710adf404cbfd5ae7bd3ed2c77ba8bd7a168e3","datavalue":{"value":{"entity-type":"item","numeric-id":2915145,"id":"Q2915145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ed59f993e382a3f5a9d18ef038fc324d159d44","datavalue":{"value":{"amount":"+0.7653085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$E1B054EA-4015-4E2F-A16B-9C28B25A8E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ce183fafffe69776acd557b2564bbfa1dbb8c0","datavalue":{"value":{"entity-type":"item","numeric-id":5425147,"id":"Q5425147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc9d7e76040861fcf409e4f1fc530a6595691c8","datavalue":{"value":{"amount":"+0.76370907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$36E3CD52-6E57-4EE8-BE7E-AFCC7F6FFDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d79336ad98ce90746d296855b668a367307322","datavalue":{"value":{"entity-type":"item","numeric-id":2791674,"id":"Q2791674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca688e780105c8aa0bc8c8b5d9a58c063c507ebf","datavalue":{"value":{"amount":"+0.75715554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$E3C41508-5C06-4F58-8A4F-B56815565B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"832c3cc40e3e63bbd8f050f27f226de043eea341","datavalue":{"value":{"entity-type":"item","numeric-id":5487065,"id":"Q5487065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cc986d91145d29b83c5f0813f0648facc2c0a9","datavalue":{"value":{"amount":"+0.756067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1592145$798E6C8D-AC92-445C-A09F-20BF37B012AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1592145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1592145"}}}}}