{"entities":{"Q1174504":{"pageid":1185253,"ns":120,"title":"Item:Q1174504","lastrevid":69801804,"modified":"2026-04-13T09:29:33Z","type":"item","id":"Q1174504","labels":{"en":{"language":"en","value":"Uniformly constructive monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8866"}},"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":"Q1174504$F3CFB71B-CACC-4C12-9413-B514B977E10D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29645b793b13d5e61af48bcac88363894a408e09","datavalue":{"value":{"text":"Uniformly constructive monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174504$B867142A-9968-49BF-BE5E-F46C9D686610","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0489697dc31888395762323cf2efe3b4fc78ba0","datavalue":{"value":"0751.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$1C0B7C5A-8FDD-4F4E-99B1-B4A34594A50F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac6612019f7600dcb1f85d7709236d87bb171ce","datavalue":{"value":"10.1016/0022-4049(90)90146-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$621A41BC-4963-4696-861A-7628D764F7BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$EA54692D-088B-435C-A4CA-EC62E6250FCB","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":"Q1174504$6ABAF8C7-B103-404F-96B7-6ED6F73DA3B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q1174504$49BAEE10-056B-4A75-B76C-4D149CCC153C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbc515bc81027bdcb967cffdd4f953eb23634f0c","datavalue":{"value":"The authors, inspired by some computer problem, introduce and examine a family of categories which give some finite approximations to the set \\(\\mathbb{N}\\) of natural numbers. Let be \\(m\\in\\mathbb{N}\\) (for notational convenience the authors use \\(m=10)\\). \\(\\mathbb{N}^1_m\\) is the category of algebras with constants 0, \\(e\\) (overflow) and a unary operation \\(s_0\\) (successor) satisfying the axioms \\(es_0=e\\) and \\(as^m_0=e\\) for all \\(a\\). The objects of the category \\(\\mathbb{N}^2_m\\) are the algebras with the same constants, operation and axioms as in \\(\\mathbb{N}^1_m\\) plus a partially defined unary operation \\(t_1\\) defined on \\(a\\) when \\(as_0=e\\) and satisfying the axioms \\(et_1=e\\) and \\(a\\underline t^m_1=e\\) for all \\(a\\), where \\(a\\underline t_1\\) is \\(t_1\\) applied to \\(as^i_0\\) for \\(i\\) the smallest number \\(0\\leq i\\leq m-1\\) with \\(as_0^{i+1}=e\\). The categories \\(\\mathbb{N}^n_m\\) are defined inductively. The objects of the categories \\(\\mathbb{N}^n_m(+)\\) and \\(\\mathbb{N}^n_m(+,\\cdot)\\) \\((n=1,2)\\) are the algebras as in \\(\\mathbb{N}^n_m\\) but with additional operations of addition (or addition and multiplication) satisfying suitable axioms. Among other things the authors describe an adjunction between \\(\\mathbb{N}^1_{10}\\) and \\(\\mathbb{N}^2_{10}\\) as well as adjunctions between \\(\\mathbb{N}^n_{10}\\) and \\(\\mathbb{N}^1_{10^n}\\). Initial objects are discussed and an alternative description of these categories as categories of models over suitable sketches in the category \\textbf{Set} is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174504$9E18B57F-9A38-4487-BB13-992001E3FD68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$6B28A4C5-DA58-4A0C-A605-D63EB9119B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$2CB8A190-9FC7-40C6-A825-25CE99A5CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$503056CD-DB33-459A-8031-5F6E9B8A4845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$7643E354-4B42-439E-B867-9C052D94ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$F009804C-D137-4F53-8A03-66D748C3F1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eb18630f8597c8f4e15f5980afbd15f4ce8c2b3","datavalue":{"value":"8866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$1BEAD92D-A86E-42D6-B053-D48C39AF3D90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3153812a0a024025ab346d7cd2463641c8a0b5","datavalue":{"value":"finite natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174504$BFE1272F-6C20-4716-8243-96097D175871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174504$CE885C9C-F6DA-4849-9290-C96235275137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6583c66375ffa6e14f8af59d8ca36c6459cf6669","datavalue":{"value":"categories of models over sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174504$2DA7D1A6-63A9-4173-BB96-1943A058F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dda5f58d54876bd01862800f88ef737a2f8c5be","datavalue":{"value":"overflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174504$1C15CBE8-BAAB-4EF9-842E-D65D5A94BA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b67cbc756f5cf6ef304d758432002f60e28e3e8","datavalue":{"value":"adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174504$1F718551-CE12-4ACC-87AE-7D470D7EDB49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1a904bce13815648859e4a9e6c13b60d3d332bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1801303,"id":"Q1801303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$31CA63CF-DF4A-4F80-82FD-CDC4ECF28506","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":"Q1174504$6FF9CFE9-4C76-46F0-937B-4B717CB94CC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e24af617e66adf7b45e96d219934dafc1e36ea9a","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90146-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174504$B778235E-1EDE-4BFC-979D-4088B5BEA979","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4df9d60e50e73b676ddd7ad492ca915a9ce9a11","datavalue":{"value":"W2091977599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174504$E97CFBB1-F4C0-4A17-BB27-DC9C8BFCF396","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5c726f50735e96e00b4f4dfbd2204cee1a3a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1076703,"id":"Q1076703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$B4FA20F4-4965-4872-9C32-6254E627B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cacb4ab303cc7c9b6cd6474a07b57d8333f8c8","datavalue":{"value":{"entity-type":"item","numeric-id":809105,"id":"Q809105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$D0FCE0D2-97FB-4BF7-BF3A-B7FD19DB12DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14cdc73693d6a9ebed090d1b7732bffae2a3283","datavalue":{"value":{"entity-type":"item","numeric-id":3925141,"id":"Q3925141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$9B569612-6481-41F3-B9B7-D62BAD9B0B73","rank":"normal"},{"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":"Q1174504$CB06124E-E5C5-4FF7-A78C-01FFB63D7129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b790d20ee507c9be09a638cf50654a4c0f894a","datavalue":{"value":{"entity-type":"item","numeric-id":3724516,"id":"Q3724516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$A47FA58B-E7ED-4B2D-96ED-3152DAEFBFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$E00A9ACE-A144-43D7-BBC4-9209BD71F305","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":"Q1174504$994A14A4-9975-417C-8813-FC343F45BC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62284628c42c293f74cadd19ba3d65356619b030","datavalue":{"value":{"entity-type":"item","numeric-id":3334970,"id":"Q3334970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$7871EA2E-C74E-4F61-96B7-91D4211E4C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$2DAFA67D-C640-41E3-AA82-E41B417BF310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350cfb03d801bc43295110494f98cfed7b16b655","datavalue":{"value":{"entity-type":"item","numeric-id":5599147,"id":"Q5599147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$9A4192FB-CD7C-4F30-98B4-4C47AF3BF4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$1450C273-329C-491D-B1B6-830E22C5DA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$1DFC7CBB-8A7E-4CB3-9B77-78D0FEACB37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aabea6c1aa887420cd315a0eff8fc4827fb198c","datavalue":{"value":{"entity-type":"item","numeric-id":4180524,"id":"Q4180524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$07AA39C4-CE2D-41AA-8D38-9F4EA1FE613B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6e69d6087d098383773d95ad5b64ee03e162b6","datavalue":{"value":{"entity-type":"item","numeric-id":3952276,"id":"Q3952276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$093936FB-9F6A-4A15-8711-64CDEA324D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174504$03E4344E-4C3E-4C9F-8E4B-909DD5F08AA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9f6dcf4877eb5b6763dfb024ec3086579a1957","datavalue":{"value":{"entity-type":"item","numeric-id":3138542,"id":"Q3138542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed366f3fd29c8a8b04d4e5b5ae0ce39d085b9a2d","datavalue":{"value":{"amount":"+0.7352222800254822","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":"Q1174504$1993CEAB-79BF-459E-B204-4152094005D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59677aaede425c59c05aa2d3c58fbbf1df963dd5","datavalue":{"value":{"amount":"+0.73404860496521","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":"Q1174504$345F7CCF-00DF-4A38-8912-C995D23A37A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ca28641704223a524a5e85c8e0ceffa7778692","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedde7188ab88c19ef54d7f165618ac2ee5df27f","datavalue":{"value":{"amount":"+0.7259927988052368","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":"Q1174504$C18B821D-F46F-45C7-A8E6-99A3FF98F956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniformly constructive monads","badges":[]}}}}}