{"entities":{"Q890663":{"pageid":892511,"ns":120,"title":"Item:Q890663","lastrevid":65129370,"modified":"2026-04-12T00:31:12Z","type":"item","id":"Q890663","labels":{"en":{"language":"en","value":"Codensity and the Giry monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506983"}},"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":"Q890663$C7F9EE49-3CE3-43FA-8528-2396AF6F1829","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd706dc0981059402c10769d138b93b814e7617c","datavalue":{"value":{"text":"Codensity and the Giry monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890663$08F017C0-2D0F-40B7-BADC-E39ECEEE3A1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47c91cc5369c762731680808ceb8660f94da9f99","datavalue":{"value":"1333.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890663$68BFBC33-AA85-401F-8096-BFCD3CC8A0A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612969664e933787bbfa09c4eb5a91ac0453ca06","datavalue":{"value":{"entity-type":"item","numeric-id":890662,"id":"Q890662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$DDFA32D8-5C6A-4FD0-B572-AE70E10D0954","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":"Q890663$50E69733-69E5-4503-B8A9-DC889480CFD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890663$37209909-937B-40B0-9F0D-21463644666B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d221418ea3a970d554081038dbe62a5c3d7ab0ff","datavalue":{"value":"https://arxiv.org/abs/1410.4432","type":"string"},"datatype":"url"},"type":"statement","id":"Q890663$953B10A8-9AC1-41B6-9B0F-6B5BB4318CD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbde629dd3fd2726abc32fbd3f607f1d66b182a0","datavalue":{"value":"The Giry monad is a very elegant formalism encompassing many ideas of measure space theory. The idea goes back to Lawvere and Giry, and is followed up by various authors. Generally, the theory of monads is well-developed, and in particular the production of monads as the codensities of a functor is established. Still generally, but in the realm of measure space theory, the duality between measures and integration operators is well-known. The article, which is extremely well-written, considers a finitely additive version and a countably additive version of the Giry monad, presenting each in terms of integration operators. This then leads to identifying the monads as codensity monads of functors on convex sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q890663$DA41B3DF-E900-4F89-AC33-E1225AB84740","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dbe25fb37082c76317d1c3ba00636a8fb492cde","datavalue":{"value":{"entity-type":"item","numeric-id":272874,"id":"Q272874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$A37AB8A1-1A0B-41F1-BAFA-254A8E79CE62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890663$9F6DEA92-741C-4171-91D2-C62C6016A585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f072d6dbf540fb48bc73fbb9dd6a7a7e844de485","datavalue":{"value":"6506983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890663$62117DF2-4B24-4DC8-ADC5-C4454BB06ECA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899842a87a829a1c519fc1dea88abcec00117b62","datavalue":{"value":"Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q890663$427B56AF-0CF0-4571-B815-EDCBE4F20D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf78f086300c341575cabfd7481294433cf41fbb","datavalue":{"value":"finitely additive Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q890663$99CDA005-65A4-4BC0-B093-0A23F8D6E421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf466f35fb9e11df14561e6a7c660e748c2472e6","datavalue":{"value":"countably additive Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q890663$5EA30655-AE72-4E27-9EE2-455B6F71544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9cddd38f68b1740e55e9173b44de62dc13920d4","datavalue":{"value":"codensity monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q890663$832015FF-2E80-4871-8B82-5A55022C33AC","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":"Q890663$80A94047-54D5-4231-93FE-129A3FDF0639","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be5c9e46521a0083d07ce5cb0ccdc733fe4325d8","datavalue":{"value":"W2186608453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890663$B89A9FEE-9401-49E3-98FB-B15C5E777CE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a22bce44f67c566da3c5a6d87b5cb88f198b5c8","datavalue":{"value":{"entity-type":"item","numeric-id":5582216,"id":"Q5582216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$AAA7E380-06AB-440B-9681-81CD89B010F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128b854c7af1eaee136e3e1f36a5d4ea7a27b643","datavalue":{"value":{"entity-type":"item","numeric-id":5454362,"id":"Q5454362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$3CEA3C25-51AC-4626-BBC9-D490B3096F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401cc69c2f0d0ef28ffa7dd37076b86706fbb973","datavalue":{"value":{"entity-type":"item","numeric-id":3663565,"id":"Q3663565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$86B5FA37-3BD4-42CA-A4A2-C568B13CF7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d5726908020e29b8a36d60fe9eb2939637a7f6","datavalue":{"value":{"entity-type":"item","numeric-id":4231781,"id":"Q4231781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$08A52664-FE87-4CF6-A92B-05197961B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93947ca386e1340f95266ffd5766dab3c361aee8","datavalue":{"value":{"entity-type":"item","numeric-id":859832,"id":"Q859832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$3A1E49CA-628E-4448-89B3-95BB57C46107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$9DE919F6-27B5-40B5-842C-222C21FDB5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9577c7166eddb6b134837c2e8f1cddded6d7d048","datavalue":{"value":{"entity-type":"item","numeric-id":3896038,"id":"Q3896038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$CD41EE5D-F7BA-4ACB-A6AC-E4ED72BBB5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7740432e4336265e945966de7c08a93bb0f50","datavalue":{"value":{"entity-type":"item","numeric-id":5799972,"id":"Q5799972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$AF8B8778-6902-4590-BD75-59C2FD364987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a648a8dbf45933ef10375980ed077e8c6b7c3905","datavalue":{"value":{"entity-type":"item","numeric-id":549198,"id":"Q549198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$E6176B83-6CAE-45BB-9250-5386118E226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$5B81A2A4-7E85-4B62-94B9-3B179BA308E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1125f6aae5f1e61e3ee2f7ea23d7454ac27fbea","datavalue":{"value":{"entity-type":"item","numeric-id":2652664,"id":"Q2652664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$3D6AEC0D-38D7-4D19-9BEE-6E08361BCF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43a5dc38a47135e9fdaef665c28625e8f758693","datavalue":{"value":{"entity-type":"item","numeric-id":2551508,"id":"Q2551508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$FE243815-A1C2-4CFC-9FFB-DAA36B60F7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de827a82002a3453d63ca6ce2c5ee6d9c209ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":5470454,"id":"Q5470454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$B2FA63E5-3AFB-4521-899A-A1C2D19C6FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061bb07bd07b0a8305bb3d495b9c85e3aa462f94","datavalue":{"value":{"entity-type":"item","numeric-id":2884475,"id":"Q2884475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$BA13075E-5F54-4A2D-A9BA-B3190872B7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f646d259c8fc96c4019f60102d04c71887c56cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2847366,"id":"Q2847366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$07C781ED-84C4-403B-8CE1-D53CF666755A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847d16145cb0b875a0650219b8a658d2b511c410","datavalue":{"value":{"entity-type":"item","numeric-id":424559,"id":"Q424559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$57FE7BA2-7647-4464-A213-A9201740F351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$3EBEDC9D-48FD-4FDC-88CD-96A47A843057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56f59a0a3fb5427dcbe7718e6b5c27dafc9c674","datavalue":{"value":{"entity-type":"item","numeric-id":4326385,"id":"Q4326385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$9AC1339E-0DAF-4246-8923-C872F865F566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a285a71f2881f0bb7a41cbe9829f1c80749ea833","datavalue":{"value":{"entity-type":"item","numeric-id":5823592,"id":"Q5823592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$A5BFC910-3279-4A04-A905-95DFAEACC35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ee9ee071826b0221c35a0113d5a38d3d4882d7","datavalue":{"value":{"entity-type":"item","numeric-id":2648502,"id":"Q2648502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890663$4248B69F-1605-4051-88C0-8A5DE6E2E7A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bedf556fdbfec70f9bb110a019cf9ae2a6b98e1c","datavalue":{"value":"10.1016/J.JPAA.2015.08.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890663$0A919BBB-5CE5-4966-A287-6B63A0DB1D19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28f40cb92f6c5cb34234b8271739b33a29de5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4628472,"id":"Q4628472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45de2b535b48b0f5d43ad2d57ce6e98463199fc3","datavalue":{"value":{"amount":"+0.8100523948669434","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":"Q890663$97C79BEF-ABB4-4432-8F58-A6011C96EAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d528674b5ff8405058e5f47742a08c90b00a01","datavalue":{"value":{"entity-type":"item","numeric-id":4580195,"id":"Q4580195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006af5b5954a5681e7011cd600bff67608c16185","datavalue":{"value":{"amount":"+0.7920599579811096","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":"Q890663$9EC633AF-358F-4708-8A81-0562526077DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c9d16c30e0f12c8ea8b505518d778ae6d141a6","datavalue":{"value":{"entity-type":"item","numeric-id":3060190,"id":"Q3060190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146180d07f48896dbfdb223cf2022d7de9025e3f","datavalue":{"value":{"amount":"+0.7817513346672058","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":"Q890663$2F6D9B9F-56D7-493E-8BA7-151CBCEA2B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074777ec4962a276cfac41e9a447673b0de80eaa","datavalue":{"value":{"entity-type":"item","numeric-id":859832,"id":"Q859832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12deff9f11902443e8d7bacd928c591fc80385e3","datavalue":{"value":{"amount":"+0.7803117632865906","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":"Q890663$FEA8FB89-022F-49E5-8B08-A1C74D4D03DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6efc7f4bb66155998491a822daa69b9855d4724","datavalue":{"value":{"entity-type":"item","numeric-id":1621453,"id":"Q1621453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088d5634b4187ceedccb27aed2ab15d090d5cb23","datavalue":{"value":{"amount":"+0.7756446003913879","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":"Q890663$4EE1DECD-1990-4D63-A3A9-A3E7773A782F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codensity and the Giry monad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Codensity_and_the_Giry_monad"}}}}}