{"entities":{"Q409255":{"pageid":411022,"ns":120,"title":"Item:Q409255","lastrevid":61640397,"modified":"2026-04-11T00:39:26Z","type":"item","id":"Q409255","labels":{"en":{"language":"en","value":"Universality of categories of coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6023469"}},"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":"Q409255$83D9E83C-594F-4DEB-8E63-6F843271EF34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a00ed96f6ccda5a047e61b7b09c25ba6813815e5","datavalue":{"value":{"text":"Universality of categories of coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q409255$E03D9EF9-6225-4986-B2E2-E89FE5D229A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9135076da1870e07d3a24098dcfe1f515c53f70a","datavalue":{"value":"1259.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409255$9DA926CA-1DFF-4B01-B2E5-53F6C30A3F78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$FFC3ED48-8A07-4964-B631-FF77E8341B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d12c6860773e4b7465f098c35b7f1d608a627517","datavalue":{"value":{"entity-type":"item","numeric-id":409253,"id":"Q409253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$E8536B43-5035-48CD-B98A-266E7C1611BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8124976778a8742ad47f4813c985423b0264ec9","datavalue":{"value":{"entity-type":"item","numeric-id":409254,"id":"Q409254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$8DF5E3B8-4EBA-41AA-8295-3FB6E3FFFE94","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":"Q409255$90A5F296-0BF9-463A-A61C-FFE1BFFEA3B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0b7be76f1ce908ce247660b59741aa3ba4521b9","datavalue":{"value":{"time":"+2012-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q409255$EE1D2059-2009-4BB5-B19D-A026E9939BB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fafe71596ae09ec8aabaef6fd249c5d4a5651ca","datavalue":{"value":"A set functor \\(F\\) is accessible if it is a quotient functor of a coproduct of a set of hom-functors. \\(F\\) is called narrow if it preserves unions of finitely many non-void sets. The following four main results are proved in the paper:   (1) Under GCH, the category \\(\\mathrm{Coalg}F\\) is universal if and only if the set functor is not narrow.   (2) Under GCH, for any non-accessible functor \\(F\\), the category \\(\\mathrm{Coalg}F\\) has a large discrete category as a full subcategory.   (3) For any non-accessible intersection-preserving functor \\(F\\), the category \\(\\mathrm{Coalg}F\\) has a large discrete full subcategory.   (4) The non-universal category \\(\\mathrm{Coalg}\\beta\\) (\\(\\beta\\) being a Stone-\u010cech functor) has a large discrete full subcategory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q409255$0D1CEAB6-465D-468C-BC40-8BC64127149D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$FC9B485D-2EEB-4DEB-A306-39359E652361","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409255$BDD5B17B-2BB8-43E5-A8E6-C98E58802427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409255$EC3A6196-2260-4155-B7B5-C1790A899E79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1d15d4abb94f44f17b575b89975b9f466900815","datavalue":{"value":"6023469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409255$2FEFD884-8264-43A3-9229-B30B18DA1469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q409255$2E91B7B4-4B0D-47D0-9A08-DC5DE036D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfe3f3ec722d155d8cbda47557c55135de5faf2","datavalue":{"value":"full embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q409255$83FBD5A5-671E-4BAC-824A-C43A5168C9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0585c76a10ab1a3ee182feb66ec388e8972142f","datavalue":{"value":"universal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q409255$29C8C3C1-048C-4D2E-AEE4-94B85BAA5C9C","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":"Q409255$78AAAB60-2EC8-4AE4-84E0-36A6378749B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d4bf6b89221bb80a846b8b0250f5e479b3813b2","datavalue":{"value":"https://doi.org/10.1007/s10485-010-9232-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q409255$13A4DD9B-2008-4B14-B916-452B2B16998A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a82d880f90e4120681f36e68dea3e6310f580242","datavalue":{"value":"W1989749889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409255$8EF90EEF-019A-49ED-A0C2-B7A2C4D57FC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$B5E395AA-942D-4BDD-A02F-6A2ADCAC1233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$3F2FA39B-7587-4E1C-8E41-83A39627E927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30afd5d6050656f8739afa8e92960fd077c59f6","datavalue":{"value":{"entity-type":"item","numeric-id":2474095,"id":"Q2474095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$0ED2981A-680B-4DD9-91EC-3E970BB963F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73faa74cc7c9e5b812e6afb23eff7f7da17c0a6b","datavalue":{"value":{"entity-type":"item","numeric-id":5771659,"id":"Q5771659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$0766F06B-DF64-4FE1-9F5D-492CDF6D9E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65f5161b47da3a6cd17fc1ec7dfdc455a08356","datavalue":{"value":{"entity-type":"item","numeric-id":4092470,"id":"Q4092470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$AA16A814-DC99-43EF-946C-57B4FBA97CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d3c24344343041f5a61573a96b8de738045976","datavalue":{"value":{"entity-type":"item","numeric-id":3266716,"id":"Q3266716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$5524FA03-0CEA-477F-B418-52E618ADC7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d1906bba228d015a68b861433b7b873936aaf3","datavalue":{"value":{"entity-type":"item","numeric-id":2552194,"id":"Q2552194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$53B88511-044B-4D29-B2DB-68A60392B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d4b7931e36505b5e2b4b9d13ee1f4e0b81a108","datavalue":{"value":{"entity-type":"item","numeric-id":5343379,"id":"Q5343379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$B8900CFB-1926-4B05-A202-DEA3000A73B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f82f429bca46514bd67bcf27e4ca0eaf245fc57","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$A5E741DA-08B8-4291-9D55-EC4121953196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a938913b91a71fff76bf5c936cdca9760d35164c","datavalue":{"value":{"entity-type":"item","numeric-id":5607089,"id":"Q5607089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$22D4D21C-EF97-4001-ADDF-5999DA0DC8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ea98fe91d6dfdc8500b89b9eec2119fca644b6","datavalue":{"value":{"entity-type":"item","numeric-id":5620720,"id":"Q5620720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$6CB85190-3334-4FD9-B697-0539F6BBF70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e95ebd6886e0a2b25e8a0a97f97aa4da3cd5a","datavalue":{"value":{"entity-type":"item","numeric-id":4104118,"id":"Q4104118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$7CE4AC29-8ED2-41D8-97CE-124874676504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$6E9AA8BA-A5D3-44E5-9A9D-1A7669D587B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$ADB17F3E-9ADB-4AFD-906F-8A345EB99585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$A167EF34-62F6-4238-9F80-86FF6F42F15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a37224850f0b943bca5d2285612d6b42f9344c","datavalue":{"value":{"entity-type":"item","numeric-id":773519,"id":"Q773519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$02CBCB51-E238-47D8-AFDA-463B54676A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22735b6047baf69e11efa97a2f00c0704af094f","datavalue":{"value":{"entity-type":"item","numeric-id":3867821,"id":"Q3867821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$FB1C6A9D-6828-4995-BE0C-593BFE34074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b22501c4a522544765e1fbc099ade352ff4e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5574731,"id":"Q5574731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$19CA84DA-EA27-433E-B93F-91F99A49904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389fcbb529c2bb39631d6ff2e1d4ead909209451","datavalue":{"value":{"entity-type":"item","numeric-id":607458,"id":"Q607458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q409255$B552B20F-0F83-46AB-891F-84B73D00E711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d2f8ff7e3b5b9ae677f9a7767f578490f8d9cb9","datavalue":{"value":"10.1007/S10485-010-9232-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q409255$68A262BD-0B74-4809-8410-C7026AD8EB7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b14ac3931842365cb49462fe460d4ed5a065930","datavalue":{"value":{"entity-type":"item","numeric-id":607458,"id":"Q607458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ba0359c2d34f1c0c7d74e4a559e55af56978fb","datavalue":{"value":{"amount":"+0.9079489707946776","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":"Q409255$1F183700-AB1C-4C41-9108-0FDF799AB0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb3b2840c206045dc2a470ff523d2b27e23cccd","datavalue":{"value":{"entity-type":"item","numeric-id":860879,"id":"Q860879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d836372477408acbb8bdf21da98a06db5132f1","datavalue":{"value":{"amount":"+0.8390992879867554","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":"Q409255$E66D5027-AE28-4CEF-8743-AB8184E94B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90136ceb17346bf0cfe0ae628249373caabf882d","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1dc7996fc0073d73a53ed01f3f5167f8088ce3","datavalue":{"value":{"amount":"+0.7825100421905518","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":"Q409255$0905AD04-03AA-436F-8326-C6E2406F6965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae58bb266accfbd4d0cfb68eb869237b8382ab10","datavalue":{"value":{"entity-type":"item","numeric-id":876384,"id":"Q876384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c5acfc0669ae4e6244fb5a58fdc16dfaea505b","datavalue":{"value":{"amount":"+0.7780667543411255","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":"Q409255$4E7A9B38-9D47-4D88-B25F-CFAD4593F036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22275ec20d9805f31ba4499aa009837bb55e732","datavalue":{"value":{"entity-type":"item","numeric-id":995376,"id":"Q995376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7dd6e7d9621e805169748e018933837397b7b7c","datavalue":{"value":{"amount":"+0.7728709578514099","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":"Q409255$6D0CF5EB-965D-4CC6-8CF9-D530CEA79896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universality of categories of coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universality_of_categories_of_coalgebras"}}}}}