{"entities":{"Q1794282":{"pageid":1805024,"ns":120,"title":"Item:Q1794282","lastrevid":69369915,"modified":"2026-04-13T06:32:59Z","type":"item","id":"Q1794282","labels":{"en":{"language":"en","value":"Infinitary addition, real numbers, and taut monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6954315"}},"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":"Q1794282$1379AEDB-FB7B-4ABC-8CBC-848CA8979FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e816671adedf702bc159347ea88c7753982dcd2","datavalue":{"value":{"text":"Infinitary addition, real numbers, and taut monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1794282$0881187F-9C8D-4FD3-8469-F33BA04BCDCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974d7999d215ce3c57e739d49e03ecd97a6fe41a","datavalue":{"value":"1480.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$A492B868-9A79-4A16-ADDD-FED1B9361667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae17fd2bce66e1ef7c04063ea40837198586914d","datavalue":{"value":{"entity-type":"item","numeric-id":240383,"id":"Q240383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$774607E0-9EAC-4CD3-AC70-6751F4C5A92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf71b35b2a24503a8c5f23b3f5e8e561a546a830","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$7C9F3898-F729-413C-8FB0-02B558CBF998","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":"Q1794282$D5D8BD9F-8A93-4920-A570-F4BBD13D3651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"244117ed5d6c07f73aa1c326499f09439fd85428","datavalue":{"value":{"time":"+2018-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1794282$7CC05038-B5CB-40CB-9CD4-58A2C83A1F9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7934adbbae77cf58e26dc80f2f0310d3fcfed30d","datavalue":{"value":"A \\textit{series monoid} is a triple \\((A,0,\\Sigma)\\) in which \\(A\\) is a set, \\(0\\) an element in \\(A\\), and \\(\\Sigma\\colon A^{\\mathbb{N}}\\to A\\) a map written as \\((a_i)_{i\\in \\mathbb{N}}\\mapsto \\Sigma_{i\\in \\mathbb{N}}a_i\\) satifying certain identities. A series monoid satisfying certain conditions is called a \\textit{cardinal algebra}. An \\textit{analytic monoid} is a system \\((A, 0, \\Sigma, \\preceq)\\) in which 1) \\((A, 0, \\Sigma)\\) is a series monoid and \\((A,\\preceq)\\) is an ordered set with the smallest element \\(0\\) and 2) \\((\\forall_{n\\in \\mathbb{N}}\\Sigma_{i<n}a_i\\preceq b)\\Rightarrow \\Sigma_{n\\in \\mathbb{N}}a_i\\preceq b\\) holds for every \\((a_i)_{i\\in \\mathbb{N}}\\). A number of properties of series monoids and analytic monoids are derived.  A morphism \\(f\\colon A\\to C\\) in a category \\(\\mathcal{X}\\) is called an \\textit{injection} when there exists a morphism \\(g\\colon B\\to C\\) such that \\(A\\xrightarrow{f} C\\xleftarrow{g} B\\) is a coproduct diagram. A monad \\((T,\\eta,\\mu)\\) on a category \\(\\mathcal{X}\\) with finite coproducts satisfying certain conditions is called an \\textit{injection taut monad}. A general construction for algebras over an injection taut monad on a lextensive category is presented. Studying of series monoids of isomorphism classes of objects in a series monoidal category is suggested.  The authors also provide a number of examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$7CB2EC33-142F-4A03-8B5A-9B55FA1E15B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$71F0FD42-A200-4CEB-BF66-07160A9B8E6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$BE04C8F6-C120-4FBE-9BE5-1906F5AF685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$80FD86AC-30F0-4EA9-95FE-678C05CFDA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$4A7044D6-C811-4B43-92BD-2BC6F6AFDD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$AE9F23A1-F0CF-4021-9EA0-EB4364349B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59a4200d453f08d88665e55548ab95a81525578a","datavalue":{"value":"40C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$56999CF3-04C4-4B9B-9B01-528C8CBA1A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$5954CFAC-F82B-4486-8C4A-0EF2EDCD1677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2412f8b19829bbcda15ed5b2185aa21fd44cbd","datavalue":{"value":"6954315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$204FD15B-4F69-4362-A540-CB868AE8BAF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28e97d6f4574471b22058d92a3147c05122bc4","datavalue":{"value":"infinitary addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$D7660BF9-4A6E-4FF5-8B19-00FA24C956E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc164715219bcaa712d1df33a1b203d3676614a7","datavalue":{"value":"series monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$56E27EB2-81E0-4F6C-98CB-A8A1AEC20CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cce6d341d819e09322510961aab563a2fb1bcf8","datavalue":{"value":"commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$DEE96440-E754-4A85-94C7-1AE77FB93B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab0b6e673d6b917c9f548d8a968eda770fc30d40","datavalue":{"value":"summation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$50935967-D037-4D54-A5A5-0299751C15BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaaaf6fe5cb1ffde7e2b26609ef9b52c7797aed5","datavalue":{"value":"positive reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$03F06025-6C11-4E2E-9C69-3948ADBE67E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77248d73221f4c836750815a6196a774e8699784","datavalue":{"value":"cardinal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$4112FC7C-EBC0-4035-A66B-32DE5A4BB05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9a614a20222e9dbc03b3db8eb8efe2b475ac54","datavalue":{"value":"taut monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$35FAAA83-0F77-4498-A65E-6586FB390F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62706010b2a8ae1287e596efceb01692584eb55e","datavalue":{"value":"lextensive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$B75A376A-4851-4378-B0BA-5DA39780C266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1794282$9CFB9931-0659-4E2D-A4B5-202948F54F5C","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":"Q1794282$FF16B1E1-A8CB-4B41-ACCE-13807175BC91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0bdb0d19c6ec135125a96fbb9e04840f011b1ba","datavalue":{"value":"https://doi.org/10.1007/s10485-018-9524-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1794282$5FF59E1B-A97D-47E1-AC68-77A8F2F34C1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd4c3158a7b7caa25d6f39c8ba03e98bde6fed4e","datavalue":{"value":"W2800139989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$5163C2BA-D5CC-44AD-BC09-395FDCBD87E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"89b777da3be711d1a62f8fc74d7e98e3602fb949","datavalue":{"value":"Q60359352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$71C8DB9E-FE1B-4118-89DD-3D26AAEB2773","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd0ba5e82c32fdcaf374f9a8a6e13f4266f82","datavalue":{"value":{"entity-type":"item","numeric-id":4882486,"id":"Q4882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$EDD802E3-BD26-4CE5-8E51-599C9C9E0E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$EE5E89EA-8419-40E8-811E-CB2CD108CEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244a422ad9e68a8aed8d61a32e9693e7601d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":2255534,"id":"Q2255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$A839FD4B-8BC9-4C45-807F-A1D966C50AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452584eb6d07941194278c94801d51c1341e140b","datavalue":{"value":{"entity-type":"item","numeric-id":5788558,"id":"Q5788558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$ED8229FB-3E39-4AE9-8D42-45BCB1AF6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574080a01b3317c4ae43dbbf29247733589a075d","datavalue":{"value":{"entity-type":"item","numeric-id":4193527,"id":"Q4193527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$DEE8D493-1BB2-4739-A689-61CA8C04CC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b099b2dabc4703b0c686b83e1dcb834018d5c10c","datavalue":{"value":{"entity-type":"item","numeric-id":3216847,"id":"Q3216847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$8769760A-0DF5-4554-ABC4-D1B4733D710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ee48f73967462feabe7bea17b5cf2473b99ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2406536,"id":"Q2406536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$4BD34408-9764-4E38-88EF-CA9677196F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5ade4abc8579af367f42bbe14eebb02d33b346","datavalue":{"value":{"entity-type":"item","numeric-id":4236209,"id":"Q4236209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$2F460065-1EE0-4F83-AE85-84D9C14B8A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fca8fbe79b51b51ab155c189be775a403eccd3e","datavalue":{"value":{"entity-type":"item","numeric-id":1870523,"id":"Q1870523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$01CC77AE-3257-4BEB-B341-25400D5FE2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9702040c29b22b477fa31f265aa5f32c0068128","datavalue":{"value":{"entity-type":"item","numeric-id":788819,"id":"Q788819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$A179F754-7657-43F3-A121-C64528D599A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$4DC10974-BC49-4EB9-B679-19C8CCBA17E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5930bd96eb20267ef052db6832473a19b778d79d","datavalue":{"value":{"entity-type":"item","numeric-id":3237139,"id":"Q3237139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1794282$2B3D0BC4-B648-4B50-BD88-CD1E604EA9C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a10e3a544e07ee59f8e04ebea7dde8dd07d1ed1","datavalue":{"value":"10.1007/S10485-018-9524-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1794282$484BDF1F-1A63-45E6-890F-E2273C894382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d300c58ade52c7607f35a7e0ed43a6e9a6a6cd","datavalue":{"value":{"entity-type":"item","numeric-id":2406536,"id":"Q2406536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88ce36d815385aecc94ef3b1b5188cc95193f62","datavalue":{"value":{"amount":"+0.692237377166748","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":"Q1794282$8E7F6FD6-B889-4938-A0BF-C387ABE3495D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6896ab81a259789ab3e4cd6fac1c81e9711e6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4031098,"id":"Q4031098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d49ebb75cd271175e1c69a14076cad4ef10650c","datavalue":{"value":{"amount":"+0.6741700768470764","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":"Q1794282$F7A5DC45-D2FE-48EF-8E22-D9F53B80D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca338ffb2b551d09498c00c9ffcc522b17278497","datavalue":{"value":{"entity-type":"item","numeric-id":3804706,"id":"Q3804706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d49ebb75cd271175e1c69a14076cad4ef10650c","datavalue":{"value":{"amount":"+0.6741700768470764","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":"Q1794282$CAC65CD6-8C09-470E-A806-34B429317421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b100215d1e2e96d54da7551cd0dda14f7a6e338b","datavalue":{"value":{"entity-type":"item","numeric-id":4894489,"id":"Q4894489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acca81bc9f4b82145de44ccfe4d3e28e516c973d","datavalue":{"value":{"amount":"+0.6725627183914185","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":"Q1794282$F5FA329B-1701-4DD5-838E-55383A057AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b75e8c45820cc1e1b7f4d984030db1010af6a","datavalue":{"value":{"entity-type":"item","numeric-id":1080960,"id":"Q1080960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69231dd15d0d3e81504e1d8b82e4eaf951efa5a8","datavalue":{"value":{"amount":"+0.6706309914588928","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":"Q1794282$022FF7A2-3A21-49C5-A4A7-24C277F71C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary addition, real numbers, and taut monads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_addition,_real_numbers,_and_taut_monads"}}}}}