{"entities":{"Q1840730":{"pageid":1851472,"ns":120,"title":"Item:Q1840730","lastrevid":43365546,"modified":"2025-07-25T03:46:49Z","type":"item","id":"Q1840730","labels":{"en":{"language":"en","value":"Completeness and cocompleteness of \\(_R\\text{Smod}_{1N}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563346"}},"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":"Q1840730$69CC866B-8D58-4A12-BC07-DD8160969112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5c5b936487e7453b64b7fb0d5dd4f897a974c18","datavalue":{"value":{"text":"Completeness and cocompleteness of \\(_R\\text{Smod}_{1N}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840730$DC396CEB-618C-4A6F-AD0A-515DC44EF646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66382cfb30fcebc0bdfa99a526dfce72c4cc02b5","datavalue":{"value":"0999.16039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840730$50E52A44-12FB-429C-BE3B-9E2CC795839A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55e31501ab535d96a6a256eab7e4c997a69c4852","datavalue":{"value":"10.1023/A:1008616912896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840730$8B360A37-FDB0-43AA-9E1C-8F4124BF7AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d097ae074e992dd2cea11579fd7bf33de6cbee4","datavalue":{"value":{"entity-type":"item","numeric-id":193014,"id":"Q193014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840730$00E76083-7102-46C2-A789-FA35088A4F5E","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":"Q1840730$8E853B4E-42D0-4A0F-9235-5CFA01698EF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"364e6366bbf5c2f86b446cebcbd0e0890a7f802a","datavalue":{"value":{"time":"+2002-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840730$65BD09F4-7656-4C4E-A7C1-F50A608C085C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28c2ff7c973d435988e270c797fc3d61d1676a00","datavalue":{"value":"Let \\((R,+,\\cdot)\\) be an additively commutative semiring with absorbing zero and identity. A value cone \\(C\\) is a positive semiring with \\(0\\not=1\\), and a map \\(\\|\\;\\|\\colon R\\to C\\) is called a prenorm of \\(R\\) with values in \\(C\\) if \\(\\|0\\|=0\\) (and \\(\\|1\\|=1\\) if \\(R\\not=\\{0\\}\\)), \\(\\|r+s\\|\\leq\\|r\\|+\\|s\\|\\) and \\(\\|rs\\|\\leq\\|r\\|\\cdot\\|s\\|\\) for all \\(r,s\\in R\\). Let \\((R,\\|\\;\\|)\\) and \\((R',\\|\\;\\|')\\) be prenormed semirings with the same value cone. A homomorphism \\(f\\colon R\\to R'\\) is said to be contractive if \\(\\|f(r)\\|'\\leq\\|r\\|\\) for all \\(r\\in R\\). Denote by \\(_C\\text{Srg}_1\\) the category of all prenormed semirings with value cone \\(C\\) and contractive homomorphisms, and by \\(_R\\text{Smod}_1\\) the category of all (left) \\(R\\)-semimodules over some prenormed semiring \\(R\\) with contractive homomorphisms. It is shown that both categories are complete and cocomplete. Now, with respect to an arbitrary class \\(N\\), some (infinite) \\(N\\)-summations are defined for such prenormed \\(R\\)-semimodules. For a fixed \\(N\\)-summation, denote by \\(_C\\text{Srg}_{1N}\\) the category of all prenormed semirings with \\(N\\)-summation. Then \\(_C\\text{Srg}_{1N}\\) is complete if \\(C\\) is conditionally complete. The same holds for the category \\(_R\\text{Smod}_{1N}\\) which is defined analogously. A condition for the cocompleteness of this category is also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$EF98E222-5CA5-4CDC-8613-69C41BE9FA25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840730$ED712972-F0FD-4344-B135-FD0393500371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840730$E34AB245-D643-4E5C-B905-C6B52A899CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840730$0ACFA8BE-C27A-48FD-8A4E-C8C8EE2E7461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"874ee140af4a2a02b83b04b4ea93809916d0623d","datavalue":{"value":"1563346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840730$4015BC49-C2A2-4AA8-82AB-58B818728847","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3faf53a78b2857de9ae3a84db4d5577db40e2c7c","datavalue":{"value":"prenormed semimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$7BAAEA78-700C-492E-A668-7E487DA5690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c05a3f69b3a70f29269c26d53cc30f58f7f77b","datavalue":{"value":"\\(N\\)-summations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$3F07B9D4-86AE-431A-B586-63863C50BE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adc2f4a3968641bb03e94f3efb2b75571a9dc5db","datavalue":{"value":"complete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$141696B2-76AE-4402-9352-BA2131260ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4df02b129bc42ad558679a62e559598c9e32008","datavalue":{"value":"cocomplete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$01BD6D5C-C318-426B-B503-D21E2E744B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af0a67ceec622918cd3297d011aa481bc7839ca","datavalue":{"value":"free objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$B0F7B2A0-FD6B-4AA5-9206-4F33DFE72520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f617747d27ad7762719b213a47dbbe4c838d4dc6","datavalue":{"value":"positive semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$61364161-DDF1-4157-9EE6-2B5D1EBA5189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80ae9b8ec4d2a0b4ff93de79bbf5a339309304f","datavalue":{"value":"contractive homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840730$A137CD91-A74E-414C-96AA-DBD50243AE89","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25d14f9be0f112f56e2e224659a17e1e16a871a7","datavalue":{"value":{"entity-type":"item","numeric-id":213088,"id":"Q213088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840730$15B9A191-F2C1-4C74-B8FD-9F9B6FA64A0C","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":"Q1840730$540A882F-3137-4FE0-AE96-8D27325812C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96f8411bb5932076e0ee6f2297397cf927f9760","datavalue":{"value":{"entity-type":"item","numeric-id":351429,"id":"Q351429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a30a3fe5bf7fcf0a56472cdceab58ff8fbd5cf","datavalue":{"value":{"amount":"+0.85950196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$91104B26-C733-4BD1-A003-72285D6C41B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca22b0feb9ebe8b4f4d8cc44a9613ec9a6e3833","datavalue":{"value":{"entity-type":"item","numeric-id":1227028,"id":"Q1227028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42348a18386b00e25e73358452a8b5643f5b3401","datavalue":{"value":{"amount":"+0.84153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$38145E0F-97A0-45AE-9E5E-CAFC1883FF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86fd026c1d24dcd3eee1682c212a19342c0e36b","datavalue":{"value":{"entity-type":"item","numeric-id":312210,"id":"Q312210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af8449c3cf52d087a900d6eefc1ff74d8ee5f51","datavalue":{"value":{"amount":"+0.84152514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$822E4265-4F99-4F18-BA29-D13E5FD43242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3db7eea83462a6f4c15f9bc779b2171a619c12","datavalue":{"value":{"entity-type":"item","numeric-id":1288504,"id":"Q1288504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa4c45bfeb96df75477d52382dedb830d1a90fd","datavalue":{"value":{"amount":"+0.8408565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$8EF1083D-1E1E-426E-923D-CB98DAFEACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2586dd2d7de8eeac16d470a9a8cc53a1a31b2e","datavalue":{"value":{"entity-type":"item","numeric-id":3557494,"id":"Q3557494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c49eb2528f9f00c707cee0deb5e28145b88c5a1","datavalue":{"value":{"amount":"+0.8406206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$B8C601DC-9534-4B92-BA04-80AEEC8649DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd81408aaf964a5ba18fa543be94654be66830fb","datavalue":{"value":{"entity-type":"item","numeric-id":2312456,"id":"Q2312456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af6033b3bb7719081b5d9b89889d72b24e79404","datavalue":{"value":{"amount":"+0.8389778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$1B30DA07-02CC-44DF-BDB1-6CA6C156EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1930fb4e5a0f831804c74985edc3aa639b6919d5","datavalue":{"value":{"entity-type":"item","numeric-id":5203073,"id":"Q5203073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189fff4539875b1e972f71fd316ddf238da0c15a","datavalue":{"value":{"amount":"+0.8367448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$B7582864-A7C2-4660-96C4-0626F73601F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243dc67c27ab8504b891aacae87c928d0ce293b6","datavalue":{"value":{"entity-type":"item","numeric-id":1297817,"id":"Q1297817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157f8c1eacb637b288f3315bc6846eebb484feee","datavalue":{"value":{"amount":"+0.83357847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$2F9CFF95-FA13-4B1D-81F9-22E281B1E04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b9c0c5e4d263097eb3aed2cd5486a1a5edf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":4529662,"id":"Q4529662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfe69eaf0fcf3ab6207f36ba1bc48fe633d13b5","datavalue":{"value":{"amount":"+0.8322211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$F1064333-DAE0-47D0-AB78-E4C623C573CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334d2a12e8617c3e3db525c5cbf8a75b0c07a414","datavalue":{"value":{"entity-type":"item","numeric-id":4764353,"id":"Q4764353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0042ed4e726d8b8c262b3ffb664277fa1617e6","datavalue":{"value":{"amount":"+0.831237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840730$06388B6E-05D9-475D-AEE9-AE1B3EC63C87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1840730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1840730"}}}}}