{"entities":{"Q1923539":{"pageid":1934281,"ns":120,"title":"Item:Q1923539","lastrevid":46394364,"modified":"2025-12-24T17:02:18Z","type":"item","id":"Q1923539","labels":{"en":{"language":"en","value":"Lax naturality through enrichment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932637"}},"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":"Q1923539$29B584A7-B419-4BFC-A2BC-51A5CBF4B35C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4079210ef4e74489c5b05f5e22426f77c0e947","datavalue":{"value":{"text":"Lax naturality through enrichment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923539$96D021A1-E159-49B7-BE6C-45E01CDFE5DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ce1927c37c27d80ef5f894449176642813e4e5d","datavalue":{"value":"0856.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$28156F49-1297-449C-ADCE-87D1A019090B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76cbd623b08db920e7da0ec1d174064d6aa300ca","datavalue":{"value":"10.1016/0022-4049(95)00136-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$A1976B12-5C8C-4152-9BF9-B3594839885B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e2909dc69e32b8fc07ac6f20df0f0a9aa48062","datavalue":{"value":{"entity-type":"item","numeric-id":1567198,"id":"Q1567198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$F67ADB09-62D5-4D93-8939-B81C29E3B3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$E215C5CE-2FA7-4A6C-989E-CE4B1A690821","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":"Q1923539$D7449F76-8FB3-41FC-9E4C-B7DD0F58806B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ae9752aff2dd48bc096a697062a482a7ea4d20","datavalue":{"value":{"time":"+1997-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923539$4E4D41F9-99E6-4319-955B-F7BE725996E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6fab2e88d6e0e2e6510d84d84dc78ff663f9f4a7","datavalue":{"value":"This paper has its origins in work of \\textit{C. A. R. Hoare} (unpublished, 1987) on data refinement. Let \\({\\mathcal O}\\)\\textit{rd} denote the Cartesian monoidal category of ordered sets and order-preserving functions. Let \\({\\mathcal V}\\) be the category of \\({\\mathcal O}\\)\\textit{rd}-categories and \\({\\mathcal O}\\)\\textit{rd}-functors. The interest here is in the closed structure on \\({\\mathcal V}\\) where the left internal hom \\([A,B]\\) is the \\({\\mathcal O}\\)\\textit{rd}-category of \\({\\mathcal O}\\)\\textit{rd}-functors \\(f : A \\to B\\) and lax natural transformations \\(\\alpha : f \\Rightarrow g\\). The paper describes how to present \\({\\mathcal V}\\)-categories of Eilenberg-Moore algebras for finitary monads on a locally finitely presentable \\({\\mathcal V}\\)-category \\({\\mathcal C}\\) in terms of covariant operations and relations. To account for contravariant operations (such as internal homs) the paper makes use of those lax natural \\(\\alpha : f \\Rightarrow g\\) which have a left adjoint \\(\\lambda : g \\Rightarrow f\\) with identity counit (not merely the invertible \\(\\alpha)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$408FA90C-1FB0-4896-86E6-A495C95B41E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$9FCCBCE5-B9CE-4377-BFDD-0614E2F100CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$EC0586A6-6118-49F1-98BA-B0BECABDB20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$FA7F3BD5-2237-45DC-9074-6E707E29082C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16e733a55e6d47e7b1f59654dd6eb933b19acabb","datavalue":{"value":"932637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$B2CC7A12-90C0-4706-87A0-7F6DE6A94717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$8B2DB3B9-88EE-4488-BC01-2D991822BCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01d22f5d8a653102f0bfc335f1ff6dff39b30ac","datavalue":{"value":"triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$E75D7D13-A52B-4FF3-B194-036EF2A420EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$3832348E-563D-43DD-AF6B-60532D27239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6046418fe5126377e4d1c7173d2adbfba225031f","datavalue":{"value":"Cartesian monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$F7EEB47F-D6E7-4F2E-8A3D-3228304A906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b3410f29437c9819b7d473b4237efbbb459ab6","datavalue":{"value":"Eilenberg-Moore algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$8AD3689B-4362-4A0F-AAAF-A1C769189B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$C1D9B980-05A5-4441-8B67-D9BF62BA6CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d283f80b27cd64693e7a77f8897dbffc30345b","datavalue":{"value":"locally finitely presentable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923539$94774934-3477-46DC-8B8A-E44B107C5CA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$53825F14-77D3-4FCE-96CC-A62BC2C37CB5","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":"Q1923539$01CCD453-1816-4C16-B0FF-06E104DF30EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"613ea58402cb38b4769654019fc094694f349742","datavalue":{"value":"https://doi.org/10.1016/0022-4049(95)00136-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923539$A8CDE9CB-CAFE-411C-8AFC-9A9FD13D7AEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09e618beeeb359f7233f561acaab20dd6f91eaf9","datavalue":{"value":"W2088655847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923539$81CB30FF-070C-4CD0-9E17-4786AE77A9FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$3A796B62-8F23-4D22-B219-C3767F928107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d15938425712ba384a35c2b5de52d3906d5874","datavalue":{"value":{"entity-type":"item","numeric-id":3986541,"id":"Q3986541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$0332A2F9-CD4F-4F0B-9D9B-2ED370170039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c6c2fcb5ee9f1a75fce9cda985a18c2ae490c2","datavalue":{"value":{"entity-type":"item","numeric-id":1052452,"id":"Q1052452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$34DE5F00-E12F-416E-A4C4-30F171B21C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fd567c6fe3cd15a1df4bd1ce2bea3ab595bc51","datavalue":{"value":{"entity-type":"item","numeric-id":1295569,"id":"Q1295569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$99ACB1E4-C8DE-412C-82BF-D23A88D7775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fe1232741c53345ff2f65bebece35e13b84680","datavalue":{"value":{"entity-type":"item","numeric-id":1368592,"id":"Q1368592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$A1638AEE-89F9-4CEF-8CD1-BEE1C283463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a310bc0bc6e6f2c815195ca7690c38a4720a477","datavalue":{"value":{"entity-type":"item","numeric-id":1295729,"id":"Q1295729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$1845FB25-D320-4531-A8D6-552BD8190618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b24aa434a4958ff197c3a4373c175de86dfa4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$FA924D10-73A1-4025-9A99-D5C4AF7ADFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$81DE1862-6304-4B93-A7A8-E0A14CADCE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$C4624EFE-E1A3-4C85-97F8-11C0BB92B465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1bfc73cddaf2fd9ed4483fd6b40a78290e1de6","datavalue":{"value":{"entity-type":"item","numeric-id":1090102,"id":"Q1090102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$5776F3A7-76C2-45B5-AF2F-D1486C942488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d18d8430b188e5969cb1d2a330f0542e59f413","datavalue":{"value":{"entity-type":"item","numeric-id":4100657,"id":"Q4100657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$ADD1A8C3-0472-40F8-A06E-8F58255EDADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8c8acb9925a04698fe887d04699f13e3b0a10","datavalue":{"value":{"entity-type":"item","numeric-id":3491793,"id":"Q3491793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$CF1B6270-96F7-47CE-BE97-DB2DA9F74C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$459E3243-2522-4444-932A-08480F6B76BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e4afdd67699202d58c3e469b2e8a661b57965c","datavalue":{"value":{"entity-type":"item","numeric-id":5887529,"id":"Q5887529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$A7AFCDF7-870F-4864-82EB-5B9085EE1289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3270c26d9c5e5e3b6ace00a2d23583fa32cd53","datavalue":{"value":{"entity-type":"item","numeric-id":4006237,"id":"Q4006237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$9AB26355-B444-47C8-A927-1F23BB139C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b4d597fe3553b7f4c7832a1457a2bdf884649e","datavalue":{"value":{"entity-type":"item","numeric-id":1138904,"id":"Q1138904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$A2096B90-068F-4AE6-8080-3E033A3D2FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905df8a88311db82e37f87e5596b4b57104bcfe","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$E882DA60-C50E-42E0-894C-326E2B05E10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1206ced8c3a6aa4db69f31a637ddf84ef9a766cb","datavalue":{"value":{"entity-type":"item","numeric-id":3035667,"id":"Q3035667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$A63BFE89-C5F0-4AD2-AFBC-A65EB3D57FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923539$62B4DDE6-95D6-487E-9CFE-D503AF083C80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68b36f8b9d9e99871695f9f7153b524f4ee07da","datavalue":{"value":{"entity-type":"item","numeric-id":3426817,"id":"Q3426817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78aee5fb554071854aafa3b787b0694f0b557961","datavalue":{"value":{"amount":"+0.7547973394393921","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":"Q1923539$D768F68F-8B4D-41B4-B88B-4F451BDADC46","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":"31a19d8afa162bd6d02b989ab7c2e94eb4904293","datavalue":{"value":{"amount":"+0.750714123249054","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":"Q1923539$1C234A9A-28D2-4A47-8C28-E316C863A41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3fcfa93f87173deb1f16dd5df8c0af285116db","datavalue":{"value":{"entity-type":"item","numeric-id":5701007,"id":"Q5701007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906a4f78037c5886e560ee9bd1f1549b7d8e1f23","datavalue":{"value":{"amount":"+0.740641176700592","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":"Q1923539$9D3140A3-B289-4D39-B691-2D6022EC63E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d39fdb3393bafbdf59c6855322816e5c905008","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8291238e20071bbf2cd8a0f83285a640e47585","datavalue":{"value":{"amount":"+0.7390106916427612","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":"Q1923539$75A9B1C7-A50F-49AC-AEF4-D13B42E48220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18963c8fe3c4f64f2e25ad59c869560576c08877","datavalue":{"value":{"entity-type":"item","numeric-id":2378550,"id":"Q2378550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fb86961d5b9904712c20f5dcaac4f8b16e5f50","datavalue":{"value":{"amount":"+0.7377818822860718","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":"Q1923539$3870E7F9-4F1D-4A34-B206-A1419264ED96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1923539","badges":[]}}}}}