{"entities":{"Q842755":{"pageid":844603,"ns":120,"title":"Item:Q842755","lastrevid":64749594,"modified":"2026-04-11T21:58:24Z","type":"item","id":"Q842755","labels":{"en":{"language":"en","value":"A Kleisli-based approach to lax algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5607532"}},"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":"Q842755$4CD426AE-751C-4926-854F-8749147B1179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce8072cad3c105c7b6e8da5ee0a570455663b504","datavalue":{"value":{"text":"A Kleisli-based approach to lax algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q842755$72EAB687-3066-48AB-88CC-4EFF8685CC56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aad8cf35c6cd527f3588c432269b08a334ef293","datavalue":{"value":"1176.54011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$5822AAC8-749F-474D-B619-CA018B175FE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d92c911d5d568df339d8a41bf1608a1ad8c01f","datavalue":{"value":{"entity-type":"item","numeric-id":842754,"id":"Q842754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$F38DFE0D-545F-477E-AD97-5E6D3D59D7A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$C1BBBA2C-0230-45C7-BC0F-0EFC867D519F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c56145d36def32afc6df012cdc691bd376c4a766","datavalue":{"value":{"time":"+2009-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q842755$3E36C7CC-23A1-4982-AD1E-D6E26315A43F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6962e168de740439ed499180cfc1e69613847bb0","datavalue":{"value":"https://arxiv.org/abs/math/0510281","type":"string"},"datatype":"url"},"type":"statement","id":"Q842755$A0F19503-A7DC-42FC-9B53-8702FFB5F423","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45be7d0c4e97f8ba210cc36d5a7262c55883067f","datavalue":{"value":"The paper gives a neighborhood-like presentation of categories of lax algebras, whose simplicity pinpoints the importance of the Kleisli extension. Then that is introduced as a particular lax extension of the associated monad functor. In viewing the main result it turns out that up-sets play both the role of neighborhood systems, and of convergence structures in the category CLS of closure spaces. Moreover this description of CLS reproduces the embedding TOP \\(\\to\\) CLS on the monad level via the monad morphism F \\(\\to\\) U, where F denotes the filter monad and U the up-set monad.","type":"string"},"datatype":"string"},"type":"statement","id":"Q842755$5E2ED418-BA85-439E-9768-1363AE5AFF61","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ec177d65807ad082bf36bcb13e32a73b98d944c","datavalue":{"value":{"entity-type":"item","numeric-id":590337,"id":"Q590337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$33F99C94-151D-4C6D-89F1-932BCF605EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$0D261F8F-E42C-4B42-81F3-9A901FCE4112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$572418C6-0F3D-4A6E-93AD-BC99E21076BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$63D98CAF-0933-4DAB-876C-47DBC8171244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$70663EB4-E85E-4A24-9529-A97F24B4654B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6caab6d0f6e399dec4ba14cf54e9edefb83c4d40","datavalue":{"value":"5607532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$21BB1ADE-4A53-43B1-8DED-EC1B0372898C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4ec0097909bd451b1e29488e485d18b549ca76","datavalue":{"value":"lax algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q842755$199EC309-4E8B-4575-8840-3D35A249211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q842755$0BD4453A-6070-459C-A0FC-2F65A177DA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce5dcba2d1839826276804f2d3847633664b5ac5","datavalue":{"value":"tower extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q842755$3B31EA7A-3914-4278-A8D8-F23A5F4AF2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f662668238e07fa59351428d813efab830ab1ad1","datavalue":{"value":"partially ordered monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q842755$A7E8CC87-3749-4854-BFE9-1289A23ED17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b41aac1310de69b34ae465a4b84c610ad0ebe9","datavalue":{"value":"closure space","type":"string"},"datatype":"string"},"type":"statement","id":"Q842755$29A17C8D-5518-445E-B80A-44B811AF24E2","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":"Q842755$9BDF2163-A698-47E7-9060-3C829F6B07C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bb10d7209118de49cfcd3aa5b0251897a3e706a","datavalue":{"value":"W2129008598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$551E724C-B445-4ED2-BAC5-14CB79636455","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e5aec0dda656b00bdcb32fc2b72d98817f40fb","datavalue":{"value":{"entity-type":"item","numeric-id":1360359,"id":"Q1360359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$9D101A00-D7EC-4B0A-B3F2-F3C9F995F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ede79286edc365c7f560db5345b93e62f426687","datavalue":{"value":{"entity-type":"item","numeric-id":3156494,"id":"Q3156494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$F486F918-21BD-4799-9F65-F1B775EE44EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e09c6e32527e9db41b384482aef4b9a7e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":1430170,"id":"Q1430170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$3799E9AA-C1C3-48CE-A6B7-FF1A88961648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b58aea150b561f58da386db15c716910389ae00","datavalue":{"value":{"entity-type":"item","numeric-id":4280788,"id":"Q4280788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$0723B703-7B4E-45A1-B5FB-5ECF00E47B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2de3ff4929af6724f1364a0667d8b8eff13267b","datavalue":{"value":{"entity-type":"item","numeric-id":2502949,"id":"Q2502949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$7EEF81CE-B643-4CB4-AC92-B4F24FABBD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1efaaf421c4ef4d3dccc28149fc196084be36dd","datavalue":{"value":{"entity-type":"item","numeric-id":2732572,"id":"Q2732572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$EFC4874E-A75E-418B-952E-AEAB40C8EEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc4cacc598a00e7dbd0288ac2c3e343cb68b6f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854158,"id":"Q1854158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$DD198E61-F8B0-4A42-9FBA-2A389095FBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf52f493ec32523bccb9ad251a9aac4352494f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4340906,"id":"Q4340906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$8985C300-36A2-4FC0-9104-9F2B09F9787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c0b637adc0371d050f433f173e875326877054","datavalue":{"value":{"entity-type":"item","numeric-id":3190985,"id":"Q3190985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$E85925E7-DFE6-4229-9C73-930EC6B8B4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e4ce97ba245a7b7767469d15f80bde38c4ff9c","datavalue":{"value":{"entity-type":"item","numeric-id":5701007,"id":"Q5701007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$6FFE3209-011B-45C5-8733-661CE7D6027B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dab4f7b3cc0fd7f882ce5fb9d9d1b3aec604d604","datavalue":{"value":{"entity-type":"item","numeric-id":4464692,"id":"Q4464692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$B8A4B53E-9A59-4499-9464-0EB1E9D35192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a20f2f4e4cf2d9b5cd95a317b081ae0255205cfb","datavalue":{"value":{"entity-type":"item","numeric-id":4457261,"id":"Q4457261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q842755$F14678B1-1F8B-480E-83BA-1614ECE433DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dac20b3a0c1c1a5cd104ebe7004ea04aaef23600","datavalue":{"value":"10.1007/S10485-007-9080-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q842755$98DEEBE4-A672-4A1E-A2B8-EB2F536CF58D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a326d3007a642b51975bf94825a5c94b2e235dcf","datavalue":{"value":{"entity-type":"item","numeric-id":536041,"id":"Q536041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c20cc8f7b6e4adde3c3bcea7e4a3bb04083588","datavalue":{"value":{"amount":"+0.8064532279968262","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":"Q842755$CD4E6CC1-3ACC-4599-8BF0-B8B75B069F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97ea2a6f52cb058db23d2b97b54b30ba2db6d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3614496,"id":"Q3614496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d249924990ecc1139711aa90f9a1b01d54095c","datavalue":{"value":{"amount":"+0.803989052772522","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":"Q842755$FCD3AB9A-BCBE-4F3C-86B7-818A9DC27551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73708186df993be38efd057fe92f346258adbdeb","datavalue":{"value":{"entity-type":"item","numeric-id":2877685,"id":"Q2877685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd07bea30bde809d8771bdae11181217491ac71","datavalue":{"value":{"amount":"+0.7946633696556091","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":"Q842755$A1C9F6D0-6D86-4009-87FC-20A33E29E127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92643a9cc094757db7596b7c0bc10781d4a9fcf1","datavalue":{"value":{"entity-type":"item","numeric-id":429335,"id":"Q429335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e36cf5ae65167cfac430e9d9454b77085d94dc","datavalue":{"value":{"amount":"+0.7923083901405334","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":"Q842755$AD71A39F-A956-45E9-AD79-F962EFB87067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ac2b7b9c9fdfe7d065284b758838477325fa47","datavalue":{"value":{"entity-type":"item","numeric-id":1404248,"id":"Q1404248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddefd8124107a848bfe6f3d2c5678ffcbce085f4","datavalue":{"value":{"amount":"+0.7873398661613464","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":"Q842755$74CA24D1-AA06-4708-A579-5F2B51D4C278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kleisli-based approach to lax algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Kleisli-based_approach_to_lax_algebras"}}}}}