{"entities":{"Q2217539":{"pageid":2228282,"ns":120,"title":"Item:Q2217539","lastrevid":57794406,"modified":"2026-04-02T13:42:21Z","type":"item","id":"Q2217539","labels":{"en":{"language":"en","value":"D-ultrafilters and their monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7289451"}},"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":"Q2217539$7E5DFE15-711F-4E8F-8E2B-D4D9D2841E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecec06b284073587a107cade421a03c6f1776a2f","datavalue":{"value":{"text":"D-ultrafilters and their monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2217539$2608A1D3-9A6E-4323-B3EF-2F63F78BE9C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"218d2f3d046b79870cd192a274da6561eb0274a9","datavalue":{"value":"1461.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217539$97AF08E5-8E26-4382-A81B-122809B201C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$35EB2AF3-91CD-4E65-92BC-31E18D17FEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$ED455A1D-4ECF-408D-832C-6E9F92699EAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$4E1EE222-1EEE-480A-904D-14DAAE2D27C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91d6c5030c01c245f9937a7baaeec4945c8d944b","datavalue":{"value":{"time":"+2020-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2217539$69746CE6-6B1C-491E-A160-29F9EEFB79D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d9c51392cf9eea986b66688457c4d562ccfb44b","datavalue":{"value":"https://arxiv.org/abs/1909.04950","type":"string"},"datatype":"url"},"type":"statement","id":"Q2217539$88FB9515-073C-478D-A51D-F72069B25109","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4059ca318427bb22f14e93632278c85f0d0107a3","datavalue":{"value":"It is well-known that a codensity monad on the category of sets of the full embedding of finite sets is the ultrafilter monad. The paper generalizes this to a number of locally finitely presentable categories \\(\\mathcal K\\) by introducing a concept of \\(D\\)-ultrafilter on an object \\(K\\) where \\(D\\) is a suitable cogenerator of of \\(\\mathcal K\\) (in sets, this cogenerator is \\(2\\)). It applies to categories of vector spaces, posets, or semilattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2217539$905F7FB6-540A-4A63-8011-A513AC2B950B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$167B2E6D-524F-49E7-B266-CB1DD7815459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217539$E676638E-EB73-4A39-8E11-CE1A5AE69598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217539$C25826FA-E9D5-4DD0-BD31-5F6FB5F21C0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba7472f272d82fdd465b83a397269541700dafc","datavalue":{"value":"7289451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217539$F6A3CFD4-D721-42D1-8C26-C69EAA30F8D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9cddd38f68b1740e55e9173b44de62dc13920d4","datavalue":{"value":"codensity monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2217539$5460589D-CE18-4FAB-9C3E-FB89FE4DDC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f69a5af2dcbf7a90a170bdb7b28de44c7e2880","datavalue":{"value":"locally finitely presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2217539$533887FC-58DB-4FAB-B618-F24AD55B4939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2217539$97F84F37-9473-4305-B9F2-65AC4C77A05D","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":"Q2217539$52127F57-F867-4F74-AB42-856D1F0A0F0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f57758600e7074fc96f0c5665875e6e1652dff76","datavalue":{"value":"W3105836415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217539$D70A2282-AE58-4DE4-A600-C9C228225E3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f4a648f4d88bc3e4c412ed77331a546a5aa364","datavalue":{"value":{"entity-type":"item","numeric-id":5218967,"id":"Q5218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$5A989063-F51C-4FEE-BFE8-442058BDAAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344c55260b3b515553b3a36a7855ec4fa1047083","datavalue":{"value":{"entity-type":"item","numeric-id":4173539,"id":"Q4173539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$7883F24A-6917-4B9C-90FA-53A8146BC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$BDA57AFB-BCAB-4831-AF5D-5DFA372277CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28a537e737b20575277160dee8bf814c9ebcd7c","datavalue":{"value":{"entity-type":"item","numeric-id":5609429,"id":"Q5609429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$753D28D8-AE1C-4081-9C09-C20697EA9223","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":"Q2217539$892C984A-CE7E-4220-AE5F-6F2C5D1F47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a57c756d6534d3ad7589a3d6776a14be9a7b55","datavalue":{"value":{"entity-type":"item","numeric-id":774938,"id":"Q774938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$11E7F9E1-509F-449A-A5B0-5B81680C6A98","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":"Q2217539$C452D212-3DCB-46A9-A15B-502A80126AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$C6C12E12-2B7E-4A8B-8083-8E3A83CDF2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$83790876-CFB6-40E2-AC2C-C38DC5486569","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":"Q2217539$A3566E51-51FE-4759-AD6A-80FDA6C4AA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3a5e67788d7eae1ac322f714364544d27a2156","datavalue":{"value":{"entity-type":"item","numeric-id":5523691,"id":"Q5523691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2217539$AE9AEF9B-BF24-461C-8A51-BE08F5449A12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4337d2912eb3a141b9a87e949c28f8fbe308d5e2","datavalue":{"value":"10.1016/J.AIM.2020.107486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2217539$9ACB3221-DECE-46B3-942C-55D467B3C713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75e20997b1c4032baa4c60798e44726cc3db809","datavalue":{"value":{"entity-type":"item","numeric-id":2847366,"id":"Q2847366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc92f57635fd89f3b70ca7b622555b0acc097e8d","datavalue":{"value":{"amount":"+0.857771098613739","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":"Q2217539$99D020FC-2791-49C4-8429-613579C1714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9437ff22a2d8ec9a800a45e092df8f2ece6fa8c6","datavalue":{"value":{"entity-type":"item","numeric-id":2176087,"id":"Q2176087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0552ea2416d6186a1f68b312c1b1ceb0a2328366","datavalue":{"value":{"amount":"+0.8000578284263611","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":"Q2217539$BA186B67-D358-4305-A21C-AD70E0DFE923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2c621804a7eed0f481708b9d6741a6c71abd3","datavalue":{"value":{"entity-type":"item","numeric-id":2004956,"id":"Q2004956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6ea63bdd72d5b8c68d8f062c611b51210e0133","datavalue":{"value":{"amount":"+0.7548481225967407","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":"Q2217539$C2C185EF-B98E-4DB6-BAC9-7889F58B1578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25e1c1afe83d3f775497cf0875848143707ac03","datavalue":{"value":{"entity-type":"item","numeric-id":5218967,"id":"Q5218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e3d13ad03220d7c210e4ca183481a3da0f8bbf","datavalue":{"value":{"amount":"+0.7528479099273682","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":"Q2217539$D90D1D1C-74F7-4E64-A436-B4589D6C7F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26a93a70dd2e706bf0cd70bdd9506243aafd0cd","datavalue":{"value":{"entity-type":"item","numeric-id":2268851,"id":"Q2268851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a858b5ca00c3d1be1ede428f167de7a23ad0aa0a","datavalue":{"value":{"amount":"+0.74885493516922","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":"Q2217539$06C4EE00-A47B-4701-9FFC-A2C7037F1983","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2217539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2217539"}}}}}