{"entities":{"Q805732":{"pageid":807580,"ns":120,"title":"Item:Q805732","lastrevid":64474557,"modified":"2026-04-11T20:07:21Z","type":"item","id":"Q805732","labels":{"en":{"language":"en","value":"Free quantaloids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204634"}},"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":"Q805732$01596496-9066-4005-A4FC-EEBF33995986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ab77eed24cb1dceca76d72b047ca9d05190b31","datavalue":{"value":{"text":"Free quantaloids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805732$1ABB92B6-23A0-4409-8798-6CCCBE2CA1F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2958360f1b63b847596a03d442826742efd33ded","datavalue":{"value":"0729.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805732$1EAE7F39-6838-4150-962B-2BEE063F32B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e1ff81c191229aeb22a7b51c1019c699dfb65c7","datavalue":{"value":"10.1016/0022-4049(91)90130-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805732$335F6F1A-2677-44F2-B506-E9C8B5DC61A5","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":"Q805732$8BCB07C7-CB46-4805-B5A1-65D4F35B7071","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q805732$B3CDFE69-E29C-4DD0-B2E7-9B5B3C7B6A9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"008a53dacff4a2f52900b17462cdd86df84a1054","datavalue":{"value":"A quantaloid is the author's (rather inelegant) name for a category enriched in the closed category of complete semilattices. Such categories have been studied before [e.g. by \\textit{A. M. Pitts}, Proc. Lond. Math. Soc., III. Ser. 57, 433-480 (1988; Zbl 0619.18005)]. However, the author's concern here is to view them as a generalization of the quantales introduced by \\textit{C. J. Mulvey} [Rend. Circ. Mat. Palermo, II. Ser., Suppl. 12, 99-104 (1986; Zbl 0633.46005)], which are simply quantaloids with one object. The free functor from ordinary (locally small) categories to quantaloids is simply constructed, by applying the power-set functor to each hom-set; the author observes that the resulting adjunction is monadic, and also studies an appropriate notion of nuclei for quantaloids. Finally he studies categories enriched in a free quantaloid, and advances the claim that they provide a suitable notion of ``nondeterministic functor'' which may have applications in computer science.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$84E59A76-9134-4DC2-937E-C123F8E28C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805732$FD376683-67DC-40BB-ABEA-F2BD15FA9A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805732$3C970BCB-0FAC-4A69-AF87-9A0D0AC80B44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bb8b2c2c4413f6774b919b392f1f9c2b1b5cbc9","datavalue":{"value":"4204634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805732$40D86DA8-FA41-4EC2-939C-9B77A1C86681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f215dff906d8da9c10acd71b6d2fe793e0fb674","datavalue":{"value":"generalization of quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$64008D74-FCB5-4838-8C79-9F823DBCE496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21ea5df222274f470106847b72591ecfc0d0f097","datavalue":{"value":"quantaloid","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$3A93BFC6-3F77-4572-8069-5EC4A07B12D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a52ddfc796334809e114b37dbea8363dca3368","datavalue":{"value":"category enriched in the closed category of complete semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$CDA84F74-4A2B-4262-92E8-7AA496C22AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4270403f961a245f3603abe0745fe1b07bfd021f","datavalue":{"value":"free functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$CC072631-FDEB-46F7-AEBE-E78120C4D41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff323eb20ad785aea93f0ab57d784d70734ca898","datavalue":{"value":"nuclei","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$C0CF29BC-425E-4948-A99C-054A1322CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa67eb9cfeff48265e6b0d931d3bd6c0091c64c","datavalue":{"value":"categories enriched in a free quantaloid","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$5A0E2CC6-1496-4245-8877-79263EF07FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1c8070807b2acf9f69f0ecc5fc27fffd822355","datavalue":{"value":"nondeterministic functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q805732$F561BF7D-CD5A-4456-AFC0-3A6F67AAC3F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c92b693bfa2825526c9b00cc869dd95b688677","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$FC822779-02F3-4CB2-9A5A-2C0CAB46DC58","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":"Q805732$0A06BED0-9D60-43E5-ABB4-5A2096AF5836","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":"Q805732$ACAEB1DF-C594-42AE-A6E6-836B038EE544","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$42D736BE-8602-46E6-B92F-7F12BD8C6ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b76cc3011d765ba69fd710553691c2496aa55e","datavalue":{"value":{"entity-type":"item","numeric-id":3658172,"id":"Q3658172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$2004F70F-234C-4C55-BD88-699C609E32FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16eee42b31f6860ae37e25fda7a1f7544c5a1fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1061829,"id":"Q1061829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$8C0C4BBD-153F-436A-8A2A-CEB85E4C6D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef000f035c34fa6e0bd40cfb7b047568b0c5858e","datavalue":{"value":{"entity-type":"item","numeric-id":4721656,"id":"Q4721656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$C4A8D858-02D0-44A6-B72D-6B2ED813401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd51c3c41da2eaa6b1f56306d51915860a1708c3","datavalue":{"value":{"entity-type":"item","numeric-id":1098929,"id":"Q1098929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$13FB6869-ED2C-44AA-B6A8-F1D1E7653873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$E44F363D-8899-458B-8187-656359F105B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9ab7d63a852c971a6d616289fa14e24c2e498a","datavalue":{"value":{"entity-type":"item","numeric-id":4104122,"id":"Q4104122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$5028DD2A-19C1-4E74-8E78-3B67DADB317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$BE84E62D-A4E1-40D8-9E74-A679BE07AAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6969ab995aecece6a4ef5de4de66e7ce216e2882","datavalue":{"value":{"entity-type":"item","numeric-id":3773351,"id":"Q3773351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$03CCE96D-0EC6-4A28-B825-168D357EF2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$0E307FF7-6520-4CF0-85A5-1C94C353F2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$C84DEB06-4DFA-46DB-A31F-7184827C477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712a6d76388d4ff138e2f0d1aa1289866cc74be3","datavalue":{"value":{"entity-type":"item","numeric-id":3667049,"id":"Q3667049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$17B95690-61B0-4161-810A-19F874B9743B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7298af9ba8b951682f7032f3a10ed0a2befe25","datavalue":{"value":{"entity-type":"item","numeric-id":3028349,"id":"Q3028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$EF0A8F6D-70BD-4C23-93B9-269B36BA601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$94EB9B7B-49D6-40B8-A880-E73C1F213DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$D4214A14-2222-4C4F-8D62-50C68A6F6F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$1CB33182-D46F-46A6-A5DE-605515D7F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee142d66ff27602731bf8a467335470d11b45593","datavalue":{"value":{"entity-type":"item","numeric-id":3771067,"id":"Q3771067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$3840B198-2F0D-428D-9BD4-CC88D39454AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed7831a70add7bcf12768da28495fb8aecf502","datavalue":{"value":{"entity-type":"item","numeric-id":3807268,"id":"Q3807268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$51D4D8A1-D001-4C17-A573-FF0C6DFFADDA","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":"Q805732$8757B332-3DBF-453F-991D-7FA2333D4FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c5e78257ebf9674aebc49182143b4c67d8fde2","datavalue":{"value":{"entity-type":"item","numeric-id":1170605,"id":"Q1170605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$794A3C5C-6AC6-4FED-A988-0CEA849CD3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813bb4df8641e98416d1fe8cd2ffadbb8ea6f47","datavalue":{"value":{"entity-type":"item","numeric-id":5773661,"id":"Q5773661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805732$34B8B418-AD63-4920-A0A4-F035C00A8D3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1fe777af6c4b2780398a56f20acebc637eb2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4680353,"id":"Q4680353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb664ac899ab733b9ad16d65a6df6e9da0eca84f","datavalue":{"value":{"amount":"+0.8504478335380554","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":"Q805732$94E40BE6-8EA2-4D64-9AD2-049CB9D2BDD4","rank":"normal"},{"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":"bab5ab5ae1700c65ce9fab3a493cd2588daf563f","datavalue":{"value":{"amount":"+0.8402591943740845","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":"Q805732$EED1A804-61EA-424B-A581-00D5A729F711","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":"bab5ab5ae1700c65ce9fab3a493cd2588daf563f","datavalue":{"value":{"amount":"+0.8402591943740845","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":"Q805732$E54EFBCB-1D2D-4B70-86A9-0C7C88B305FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688d98b17a0f834750545d673c45d281223840af","datavalue":{"value":{"entity-type":"item","numeric-id":1899876,"id":"Q1899876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47172fa786103ab8c44631f4a74337b122af5092","datavalue":{"value":{"amount":"+0.8184607625007629","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":"Q805732$215C7471-ED4C-4AB1-BE62-22DADD5F8136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88dfbd8da8f2f4cbca2226a2db26d3497f1b45b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261932,"id":"Q5261932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47172fa786103ab8c44631f4a74337b122af5092","datavalue":{"value":{"amount":"+0.8184607625007629","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":"Q805732$CDA4A958-9A26-46BE-8546-5E0461193CB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free quantaloids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_quantaloids"}}}}}