{"entities":{"Q2469042":{"pageid":2479785,"ns":120,"title":"Item:Q2469042","lastrevid":73420065,"modified":"2026-04-14T15:53:28Z","type":"item","id":"Q2469042","labels":{"en":{"language":"en","value":"A simplification functor for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231666"}},"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":"Q2469042$4E21904A-48EE-4555-81D5-D22194381BE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"581f42d45c8f0731982220216ea9c4a46ef1b48b","datavalue":{"value":{"text":"A simplification functor for coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469042$6D8E4658-950D-4422-B608-3CB65FBDDD15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a5637f4fa4d763b8e081cb2b1e460bf02e142cd","datavalue":{"value":"1130.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$26BA46F2-7913-496B-9A3B-364DF0A0559E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c49f4a7b4d96b8ffb5e57122293df0ca5fe9751","datavalue":{"value":"10.1155/IJMMS/2006/56786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$0EE32866-7A66-4824-9CA1-CED8A6E35461","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f7892fb0ad6ea4e0d00072a711b32762957ab5","datavalue":{"value":{"entity-type":"item","numeric-id":303933,"id":"Q303933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$B9905327-5619-4EC3-9526-BB6892302806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fff42a69e975f2414790fffb0cd0b212364d6fb","datavalue":{"value":{"entity-type":"item","numeric-id":303934,"id":"Q303934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$19DDC423-2237-4007-9A2C-40D1CB7E2C68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$C3F83AAD-1BC9-487F-898B-AC266ED3C815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa815e2b6a1bb8560c6b83ddb4d0d9db2e9a0692","datavalue":{"value":{"time":"+2008-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469042$F2ED3365-6DC2-488D-90BF-23613FA2E594","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67fdbc9c3ff17fc37a19d38373e6759d014d9b51","datavalue":{"value":"https://eudml.org/doc/53758","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469042$409F1EA8-C681-4AC1-89B8-CEF1D3C2FC6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b5dafaeb3e3646d82b92027a0fefec7474da066","datavalue":{"value":"Summary: For an arbitrary-type functor \\(F\\), the notion of split coalgebras, that is, coalgebras for which the canonical projections onto the simple factor split, generalizes the well-known notion of simple coalgebras. In case \\(F\\) weakly preserves kernels, the passage from a coalgebra to its simple factor is functorial. This is the simplification functor. It is left adjoint to the inclusion of the subcategory of simple coalgebras into the category \\(\\text{Set}_{F}\\) of \\(F\\)-coalgebras, making it an epireflective one. If a product of split coalgebras exists, then this is split and preserved by the simplification functor. In particular, if a product of simple coalgebras exists, this is simple too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469042$27AA9B69-9281-4CD2-A22F-33AB7F5E70AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$0C51D6F8-B41A-4E5B-842E-9AF8DA553593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$F6C0FAC0-531C-4A7A-8195-9DAE0EC5821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$CB92182A-9215-416F-A334-EBC96B81A18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$F6F4058B-B10F-4289-8D84-039290AE2052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f95b49c3da60b4ac697c75bfe40bfddbf7ad6ea","datavalue":{"value":"5231666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469042$67A6A7D9-61ED-455A-9FCF-4436F00C162D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1c7fa43b3a3203abcfcd12f9ecc8b6893f3401","datavalue":{"value":"split coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469042$33DC39D4-BF37-4578-8B94-AF8892B049E4","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":"Q2469042$AEB116A0-2A55-466A-BABA-4C825D8CAF89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$6E357402-9036-4A82-A845-534641DA159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$40AB2217-FA9E-43EF-BA7F-235041688BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6879cb07e152ae0fa0864640a6445f525a975205","datavalue":{"value":{"entity-type":"item","numeric-id":1771866,"id":"Q1771866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$120333EE-5156-46B0-BC53-369DDAA205C4","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":"Q2469042$AF655FBA-56A6-49B4-9844-111E4F69B7F0","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":"Q2469042$D65477BF-3FB5-41F0-ACC4-18C3F8FCEDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c167d86da991deb3b84bf3df5e92f5d0e8b01113","datavalue":{"value":{"entity-type":"item","numeric-id":5666704,"id":"Q5666704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469042$AE724636-B15B-44ED-9931-14DE9EA5C5FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c16ec42ab1e2ae23e77ca2ec77b15ba8319020b","datavalue":{"value":{"entity-type":"item","numeric-id":3408010,"id":"Q3408010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04256ff8ee25ca23ccfc91a2211ffb4ed3141765","datavalue":{"value":{"amount":"+0.8590991497039795","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":"Q2469042$0E40D277-2717-43A4-BABC-2DB0623FF4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614d914dc8fffc2ad131f149afd4baa0f5699c42","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4761cf06c2ab753289d319fcdd27d05eb8f564c","datavalue":{"value":{"amount":"+0.7698114514350891","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":"Q2469042$D2EB8EED-2A64-4076-B197-AC4B385690A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5893d20b1786f25c7439cb87cfe6adff0ee8335b","datavalue":{"value":{"entity-type":"item","numeric-id":1750071,"id":"Q1750071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bdeed6f3a35ae4a7daae1c8c0527736f61830c","datavalue":{"value":{"amount":"+0.7689706087112427","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":"Q2469042$EABF0EC0-60D4-408E-B304-306D5DB63CA9","rank":"normal"},{"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":"0b344a21b684bbe3dac645aac4e2a82bc8dd6626","datavalue":{"value":{"amount":"+0.7509655356407166","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":"Q2469042$62D03156-95C4-482A-B820-6383A9D3059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30236fc3b74a9895f8ae2ce7459a58098d1f8cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2577729,"id":"Q2577729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0116215f464c53d9eabde12261ba3095fdf27d60","datavalue":{"value":{"amount":"+0.7448040843009949","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":"Q2469042$612E235B-0F04-45BC-B70E-BC0D653DD56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplification functor for coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplification_functor_for_coalgebras"}}}}}