{"entities":{"Q579396":{"pageid":581163,"ns":120,"title":"Item:Q579396","lastrevid":42595020,"modified":"2025-07-04T11:35:13Z","type":"item","id":"Q579396","labels":{"en":{"language":"en","value":"Coproducts and ultrafilters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014959"}},"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":"Q579396$5A7364AD-BF1C-449C-9BE1-D419AF3FF150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aea93564e0b2c03c5c5174716320bf41c2f22d86","datavalue":{"value":{"text":"Coproducts and ultrafilters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579396$ACA7A1D3-1115-43BE-BF60-A983C7757C0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85c22e12753b1115c22f616af89b65f6207792dc","datavalue":{"value":"0625.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$36095C7D-C102-40F0-AC81-1538EC09384E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4e39ce98c389221ae96417e2ea3022353f235b1","datavalue":{"value":"10.1016/0022-4049(87)90041-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$6E7034D4-2596-4234-A45B-3B964599C41A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26e0ea340ab16a8b88d61801890c8c53ae1856","datavalue":{"value":{"entity-type":"item","numeric-id":579395,"id":"Q579395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$97C3285B-4BFF-4551-8D2A-C0358BBDB61D","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":"Q579396$D1F80843-4A9C-4368-BC36-C4593A5A92DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q579396$E29EDBB1-7F62-48DF-9505-DB7981116E24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8bae0854dfce4ecb992e83c9a5177ffe9f49f97d","datavalue":{"value":"The paper studies connections between ultrafilters (in connection with measurable cardinals) and coproduct preservation properties of functors.    Let \\(\\alpha\\) be a cardinal. Define an \\(\\alpha\\)-coproduct (in a category) to be a coproduct indexed by a set of cardinality \\(<\\alpha\\). Main Theorem: Let \\(\\alpha\\) be an uncountable cardinal, and K a category with all \\(\\alpha\\)-coproducts. If \\(F: K\\to SET\\) is a functor preserving all \\(\\beta^+\\)-coproducts for measurable \\(\\beta <\\alpha\\) (\\(\\omega\\) is considered to be measurable), then F preserves all \\(\\alpha\\)-coproducts. (In particular, in a world in which no uncountable measurable cardinals exist, the coproduct preservation of F depends only on the preservation of countably indexed coproducts.)    \\textit{V. Trnkov\u00e1} [Commentat. Math. Univ. Carol. 12, 143-174 and 345-357 (1971; Zbl 0232.18004, Zbl 0232.18005)] originally proved this theorem for \\(K=SET\\). The present form was proved by the author in his thesis [Kategorielle Beschreibungen von Zusammenhangsbegriffen (Diss. Hagen 1981; Zbl 0478.18003)]; and in the present paper he gives a simple proof, as well as indications as to how the theorem can and cannot be generalized.    On the positive side, SET can be replaced by a category L with \\(\\alpha\\)- coproducts, provided L satisfies certain technical conditions. Examples of such L include the categories of groups, rings, and R-modules. (The author also proves separately that L can be TOP, but not UNIF.)    On the negative side, \\(\\beta^+\\) cannot be replaced by \\(\\beta\\). For example, no nontrivial F: COMP HAUS\\(\\to SET\\) preserves \\(\\omega_ 1\\)- coproducts, while the forgetful functor preserves \\(\\omega\\)-coproducts. Also, one cannot replace ``coproducts'' with ``colimits of chains''. [Reviewer's remark: the author sometimes uses ``ENS'' to denote the category SET of sets and functions.]","type":"string"},"datatype":"string"},"type":"statement","id":"Q579396$6230D129-E536-474E-B57B-398BBFD18EC8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$373C3EBC-4BE1-4536-B35E-EB90D286409F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$3779CBE4-3EC2-47B8-B094-6C8ECBEF6DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$881C74D2-7BFD-4088-84B0-D9ED6C4A41DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$0E202324-04A1-4EF3-B0E3-D7D294451BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60ed3667e0d0ebc1c9ce3de21f277433af8c579d","datavalue":{"value":"4014959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$BAE8BDA6-61F4-4D25-B301-C3C58397D347","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q579396$0A592126-4A60-4FB7-AB90-10156E39844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7b3ca0eb3406bf891dc645be5365834156ec41f","datavalue":{"value":"coproduct preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q579396$31BE865E-B95C-45E1-A60A-D0F93D16DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ace298fbc2a675299a1bf7cd9b781ea633c88","datavalue":{"value":"measurable cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q579396$ACD7536C-4860-45F5-9B9D-392510440CB1","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":"Q579396$1E8A94BD-6F51-48D9-BC59-10DD9BF767F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f85d89925e596d3e44b55f4cb5286b91d0272731","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90041-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q579396$CDF83184-989B-4A72-9495-8C1237EED7AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c71b64d9dceb5c78f8d7d7933c7d26d6cfc8717","datavalue":{"value":"W2084345119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579396$488D3763-C1E5-4275-AAA6-498C65950687","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2799958c411cc5ecdd64dd424e0bc0b5f40dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3885896,"id":"Q3885896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$F801E794-DE0F-4E3B-9B4A-F7411C0AA21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1baf540c70971624aa0ed8b15eb90a2c93714","datavalue":{"value":{"entity-type":"item","numeric-id":3934578,"id":"Q3934578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$AADB2C56-29F3-4C1F-96AB-EC3508FB9AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cd511ef97ffdcb1c0c5e068c9d4ca145e8d667","datavalue":{"value":{"entity-type":"item","numeric-id":762480,"id":"Q762480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$FAFB5FB0-34A2-4FB5-97FD-3D9E7F1B2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a05947a0c2e5b9c7ed73043a54478f13bf1383","datavalue":{"value":{"entity-type":"item","numeric-id":4052073,"id":"Q4052073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$E93C6415-4033-41EA-B246-D79DA06533EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3546db2dd1311660345aaef791d16704b5295391","datavalue":{"value":{"entity-type":"item","numeric-id":5570958,"id":"Q5570958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$F74D5F08-9514-4BE4-B782-563CDD215108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6735a1318046aa360fe031bb239406376c6a5a24","datavalue":{"value":{"entity-type":"item","numeric-id":3663502,"id":"Q3663502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$4B69301C-44AE-454B-9155-FBEE8E398F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2db002ba09b053c89d76c55ececa7bc26319fe9","datavalue":{"value":{"entity-type":"item","numeric-id":5639843,"id":"Q5639843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579396$73A22954-E40C-4DD3-9A5B-C7364662850F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f27f2d46cb7edff84fe8861a2ca361761cd5b5","datavalue":{"value":{"entity-type":"item","numeric-id":3575368,"id":"Q3575368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdcbaaf3249a5c83fdea6336e4bddb746d3d145","datavalue":{"value":{"amount":"+0.7991956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$2345A996-360C-44EB-855F-E34B88505A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e97292de43d454d78f83e39e74c63a84ab1b5ff","datavalue":{"value":{"entity-type":"item","numeric-id":3759010,"id":"Q3759010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36843de499bf7e398f36827e6c298bcf91e93c3f","datavalue":{"value":{"amount":"+0.7316805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$0ECA4348-3A92-4FB5-9309-DAD302F7D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2c621804a7eed0f481708b9d6741a6c71abd3","datavalue":{"value":{"entity-type":"item","numeric-id":2004956,"id":"Q2004956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb85b8e28f8739879c3c1f829830ae776d01ed20","datavalue":{"value":{"amount":"+0.7177213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$1B9E2A97-ECEC-47DC-95D5-C2152AEF441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8944e505264f05aece8aaa35742d9d3da3f4a8","datavalue":{"value":{"entity-type":"item","numeric-id":2350316,"id":"Q2350316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c9255096de2c5b357b73adca9eb6ceeda202f7","datavalue":{"value":{"amount":"+0.69191337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$04288E9D-3B6E-42DF-8A31-1DB3CAA214B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385d072b96a32bb6eb863540751a8b25b1728abe","datavalue":{"value":{"entity-type":"item","numeric-id":5387333,"id":"Q5387333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72377d21e8ac5d62a5a4516cbe21c42b7911e123","datavalue":{"value":{"amount":"+0.681634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$62514C64-8B29-4BB4-AEAF-E0344E03AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d79efaf08e22f47f6d72a13833c85e96daf21e","datavalue":{"value":{"entity-type":"item","numeric-id":4522170,"id":"Q4522170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa3f96b102675ed038d9b41ea3b8186cc644405","datavalue":{"value":{"amount":"+0.67366016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$3298F843-286C-44B8-9364-D40A2765F1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95598febc17448db1238cea5cf5ed01914df81a3","datavalue":{"value":{"entity-type":"item","numeric-id":5009709,"id":"Q5009709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded010edc7111bac8b40c05590f63548b556f0f0","datavalue":{"value":{"amount":"+0.66412914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$4BA20775-8C34-4BF5-8C40-C13706BC1FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4fbdf69ce9384e87e0b2ac4392a8af4a2500e44","datavalue":{"value":{"entity-type":"item","numeric-id":3323939,"id":"Q3323939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee3630f61a6f12a4539b47cc256f44ffe3611bd","datavalue":{"value":{"amount":"+0.6584865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$02DDE292-E399-4DAA-8D97-491DE10C06FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a837065959a422cce49eba114e4bfe3c3674bbc6","datavalue":{"value":{"entity-type":"item","numeric-id":3414768,"id":"Q3414768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19980bdc68f1ba2cfb52eacb8ba405c83e2f5137","datavalue":{"value":{"amount":"+0.65734625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$A8754512-3B92-49AF-ADD7-8021D2E907D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78be176e6e45414e64f3314d0d0890925328cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3570677,"id":"Q3570677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c45a35e3eec6e820897a172774a6651dc6cb9b6","datavalue":{"value":{"amount":"+0.6555826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q579396$56AEF445-67CF-4AE9-AF58-FE5D1550ACAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:579396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:579396"}}}}}