{"entities":{"Q915848":{"pageid":917696,"ns":120,"title":"Item:Q915848","lastrevid":65351979,"modified":"2026-04-12T01:59:41Z","type":"item","id":"Q915848","labels":{"en":{"language":"en","value":"Total categories with generators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152659"}},"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":"Q915848$7B90ABC1-0D23-4404-9559-1021C4E85C0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5c524cefccda4e6fb5ab1ff2394206b74c3ab6d","datavalue":{"value":{"text":"Total categories with generators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915848$0830A9F3-ABC1-45BA-8C29-CA793BA2FBCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d16c5ed67e7bcdca8690a357c3e7373fcd2e503","datavalue":{"value":"0703.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915848$E28A23F5-AFD2-4D1A-8A1D-285534AFB104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"645675149fbbfbfd7bc5d268a2ad8a81a2cdf2b7","datavalue":{"value":"10.1016/0021-8693(90)90068-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915848$630129C2-A702-4AB2-A16F-B01B032D8E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$3F7B73CF-7CB2-4535-9975-3E0F7EAC679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"399d16b20c2e0544638ddc885ece23e0107e4491","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$1F52CFB5-F9E6-42E9-8728-B8A8F5EA3AD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$0D2A3252-0533-44A7-B0D2-0C5BEC499F45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q915848$280513DD-35C6-46DC-928F-EECC8584667B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37b18ded8d87d7d2b5bd6cbae36d907eaefbf35b","datavalue":{"value":"The authors characterize total categories with generators by solidness over \\underbar{Set}\\({}^ n\\), where n is a cardinal, consider several concepts of co-wellpoweredness, and investigate well-presentable categories in connection with Vop\u011bnka's principle. They present the following results:    Part I. In a weakly compact universe for a category \\b{A} with connected colimits and a generator the following are equivalent: (i) \\b{A} is weakly co-wellpowered; (ii) \\b{A} is co-wellpowered with respect to strong epimorphisms; (iii) \\b{A} is co-wellpowered with respect to extremal epimorphisms. Since in the case that the universe is not weakly compact there exists a weakly co-wellpowered category with connected colimits and a generator which is not co-wellpowered with respect to strong epimorphisms, the following facts are equivalent: (iv) The universe is weakly compact; (v) In categories with a generator and connected colimits, weak co-wellpoweredness implies co-wellpoweredness with respect to strong epimorphisms.    Part II. Every faithful adjoint defined on a total category is solid. For any category totality and existence of a generator is equivalent to the solidness over \\underbar{Set}\\({}^ n\\). Each solid functor U: \\b{A}\\(\\to \\underline X\\) induces a monad \\(\\tau\\) on \\b{X} and the functor \\b{A}\\(\\to \\underline X^{\\tau}\\) is solid too. There exist a total category without generator and a solid functor U: \\b{A}\\(\\to \\underline{Gra}\\) whose monadic functor is not solid.    Part III. A total category with a regular generator is characterized by cocompleteness together with a regular generator, by the equivalence to a full reflective subcategory of a monadic category over \\underbar{Set}\\({}^ n\\), or by admittance of a solid functor into \\underbar{Set}\\({}^ n\\) that reflects regular epimorphisms. The fact that a category is well-presentable is equivalent to one of six conditions. Under the assumption that Vop\u011bnka's principle is fulfilled the following conditions on a category \\b{A} are equivalent: (vi) \\b{A} is well-presentable; (vii) \\b{A} is locally presentable; (viii) \\b{A} is cocomplete and has a colimit-dense generator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$E57092E0-CF34-4EB5-8DBA-89820D8D0BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915848$3A2DB462-8F5B-4D44-B50E-B6EA6DA3F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915848$AF0CC21C-86BA-49D3-A81D-045D59FC1542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915848$7B3B6AD8-5AF5-4EAB-8727-FEC09389138C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca4049f24cd341fa92f17a6db93a438d221abccf","datavalue":{"value":"4152659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915848$EDF69CE3-3356-42DE-8086-2CB02A90A8DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82cf812b2469ec64d7b06f288d4c0f6d68ed336","datavalue":{"value":"total categories with generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$8423D9F8-C289-45BF-8913-0E2D3401F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0706e3aff8a1596c5c81a1d7d784aff4306aa0ad","datavalue":{"value":"solidness","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$B6D11F04-2998-4B2D-922E-DA4EE36AB0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f513a8cf1b16c954c71566adee09dd81e01522b","datavalue":{"value":"co-wellpoweredness","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$EB13DB91-AEBF-4669-8385-C13C1DFA4EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a3906d71cdbd2c6848419650fd90f03f76f7bb","datavalue":{"value":"well- presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$00E6F167-66CE-47D4-BEA8-542D2EFD84FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e328997ee9a11659b4d817dac83c5a7fc84f97","datavalue":{"value":"Vop\u011bnka's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$E068AB7D-59E5-4BC3-9E28-AD0DAE18846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca17eb591b7613c27517fae7cb1edd62e837ce8","datavalue":{"value":"solid functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$A182DD9E-8B39-4403-983B-014B6F50D6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$2663B7F7-89D2-4481-84FA-C9D7CA6E6543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa8cd7e40fa7629f2bef525ffed52969bba2328","datavalue":{"value":"monadic functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$CFF4BCB2-8774-4DA7-8A6D-A75F8927D4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151aed45975b31a13953d05ece96239d248f2a38","datavalue":{"value":"monadic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q915848$DD62E380-49EA-49FE-BCA6-FEB0798C0C3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$1EC6338B-6A0D-4F3C-A9B5-AE1EA7061262","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":"Q915848$AB3A7BFF-9E10-4D72-819F-DFE4E4FA8E11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25d40095edb2830205406627415451ff032ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":4141368,"id":"Q4141368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$CD6ACE44-7FD9-47CC-931E-C544FBC03CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601212d28756dd2c3118a23a75f1c0d7a21da7d7","datavalue":{"value":{"entity-type":"item","numeric-id":1121975,"id":"Q1121975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$A9F4A4F6-5E4C-467C-8932-F30BC61E63FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee5dd24c7d2bd687a97a82d48b1b0593688be06","datavalue":{"value":{"entity-type":"item","numeric-id":3855352,"id":"Q3855352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$CCF0C37A-182F-43F1-A69E-0A30F212E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bfde615048b9036f0e0042eb3df75ad9dbf2da","datavalue":{"value":{"entity-type":"item","numeric-id":4711997,"id":"Q4711997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$6E1DCBE4-A8FE-44D3-B72E-AA7C7DB762CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$84BB7980-F8D3-45BD-B53D-7EC178DF9F67","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":"Q915848$3B054309-B8F2-430E-BA87-EC609A1E2494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba43a843a3d24e72776f8618404af8ea072635f0","datavalue":{"value":{"entity-type":"item","numeric-id":3874376,"id":"Q3874376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$2158890A-BCEE-44F3-AE3D-C40EEC85DE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaac25eeccd58250a87d5fd5e22310b759650ab","datavalue":{"value":{"entity-type":"item","numeric-id":3877831,"id":"Q3877831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$769E2CE7-2F2B-4750-BA2D-136B42EFB8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$1BB6C24A-28B3-42E7-9D2C-A294A15A569E","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":"Q915848$616CB459-43DE-4CD5-B11F-C87AE1B70488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$1D836406-AC55-4DA2-83EB-D91DEA17A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43b38121714336a9f03ae0c28c6d83fd83fcc581","datavalue":{"value":{"entity-type":"item","numeric-id":913938,"id":"Q913938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$EF1DFC80-D0D7-4447-AB07-C3EB9BAEDC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854fb743bf5e50d35714679be62487e9a155a8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3924360,"id":"Q3924360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$2789F7F6-D1D9-4250-A4E5-4F45D9DAF093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe31419c2782b754e1c0d7b28f35431522013ba","datavalue":{"value":{"entity-type":"item","numeric-id":1255083,"id":"Q1255083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$79FA8E2E-E711-4D6E-8D10-929FD73A6117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a92b4c9710eac689174924fe1f287f7a4fa48e","datavalue":{"value":{"entity-type":"item","numeric-id":1260105,"id":"Q1260105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$A724702A-F524-4C17-A2E8-F877104B9D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44a13f6267f3b931a4bfe9466923bdf2a71caa7","datavalue":{"value":{"entity-type":"item","numeric-id":3867949,"id":"Q3867949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915848$74C166B0-15CF-4897-943A-6E3ABE80957F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3e2c09fd4b88bcfcd8d364bcfaf1ec717b650c","datavalue":{"value":{"entity-type":"item","numeric-id":1087978,"id":"Q1087978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e184aa0cb642796aa1625d71460ea2d7d4a15d1f","datavalue":{"value":{"amount":"+0.8219943046569824","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":"Q915848$8939D43F-7891-4F55-9424-25556B88B199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26c66d4404b82b562db410b80c2140586633ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4711997,"id":"Q4711997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724d2cde602f4277814e44a8751092b92a5e895a","datavalue":{"value":{"amount":"+0.8122826814651489","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":"Q915848$6BE41D5A-337B-4338-8361-30A02E77AD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c917b5d3506dcb94d86cf1d5d70c25c4f117488","datavalue":{"value":{"entity-type":"item","numeric-id":3978965,"id":"Q3978965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8213a2b36f5bf651204c82b43f0d538a7cac7032","datavalue":{"value":{"amount":"+0.8104613423347473","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":"Q915848$E6D25596-2BCB-47A6-8A43-5AA432528EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27757200d801be42389cf20c29c37a1846232564","datavalue":{"value":{"entity-type":"item","numeric-id":3722693,"id":"Q3722693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623ac0f2f6f49dacb19fcc7e7e16ac35035a0494","datavalue":{"value":{"amount":"+0.7795746922492981","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":"Q915848$EFCBD6B3-B635-41FC-9931-657CBA4D9A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a6ef8602902fe91163f01f01781b833f0468ba","datavalue":{"value":{"entity-type":"item","numeric-id":3029163,"id":"Q3029163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad4f1c5b3b12ee9e4e99a18ab5960d540503c90","datavalue":{"value":{"amount":"+0.776763379573822","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":"Q915848$221F1738-B0E4-48AB-9541-B037D7DC86E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Total categories with generators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Total_categories_with_generators"}}}}}