{"entities":{"Q5932476":{"pageid":8109278,"ns":120,"title":"Item:Q5932476","lastrevid":41784904,"modified":"2025-05-08T07:35:25Z","type":"item","id":"Q5932476","labels":{"en":{"language":"en","value":"The slice classification of categories of coalgebras for comonads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602882"}},"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":"Q5932476$BDC7A78E-A50E-4AAB-892A-F1FFD8EBB1FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb59f6178c9936451de9a146e6a325a9e701552a","datavalue":{"value":{"text":"The slice classification of categories of coalgebras for comonads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932476$786A2D15-5E83-428E-8A60-60950655F0C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33b2c6999f60a31f2eca94e6aa42c169b69e620e","datavalue":{"value":"0970.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$01982783-24E9-46EF-BA97-1DD04A894554","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7beda76627588ee635bb810cbc36b05d48a3baf8","datavalue":{"value":{"entity-type":"item","numeric-id":297339,"id":"Q297339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932476$EE7D6FD9-D2BB-41B8-A8AE-53768B929208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9c83cda1d1692674cef6cdbd3644f5174a62bc3","datavalue":{"value":{"entity-type":"item","numeric-id":272756,"id":"Q272756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932476$5D581CA2-59EF-4A6D-8FDE-E55BD71E951D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932476$A74B8073-7F37-4A6D-A0D0-8590711000E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932476$5E34689D-FF6D-4BB2-9D7B-C99F931D150B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a13103f73c8c47b6b062e9b27878b28a9a34293","datavalue":{"value":"A functor \\(H:{\\mathcal H}_1 \\to {\\mathcal H}_2\\) is a slice of a functor \\(K: {\\mathcal K}_1 \\to {\\mathcal K}_2\\) if there are faithful functors \\(\\Phi _i : {\\mathcal H}_i \\to {\\mathcal K}_i \\;(i=1,2)\\) such that the corresponding diagrams of hom-sets are pullbacks in \\({\\mathcal S}et\\). Functors \\(H\\) and \\(K\\) are slice-equivalent if \\(H\\) and \\(K\\) are slices of one another. Comonads are dual to monads: a comonad \\(G=(G,\\varepsilon ,\\delta)\\) over \\({\\mathcal S}et\\) consists of a functor \\(G:{\\mathcal S}et\\to {\\mathcal S}et\\) and natural transformations \\(\\varepsilon :G\\to I, \\delta : G\\to G^2\\) such that \\(\\varepsilon G \\circ \\delta = G \\varepsilon \\circ \\delta = 1_G\\) and \\(\\delta G\\circ \\delta = G \\delta \\circ \\delta \\).   A \\(G\\)-coalgebra for a comonad \\(G\\) over \\({\\mathcal S}et\\) is a pair \\((Y,k)\\) where \\(Y\\) is a set and \\(k:Y\\to G(Y)\\) satisfies \\(\\varepsilon _Y\\circ k = 1_Y\\) and \\(\\delta _Y\\circ k = G(k) \\circ k\\).   The main result: The category of coalgebras for a comonad \\(G=(G,\\varepsilon , \\delta)\\) belongs to the basket \\(A\\) (containing the category of all universal algebras of a given type and the category of all compact Hausdorff spaces) iff the comonad \\(G\\) is non-degenerate (i.e., its functorial part is not a product of the identity functor \\(I\\) and a constant functor).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$93A815E9-1AD6-4996-94ED-64F152999A3C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932476$5B540D5C-9A57-432F-84DF-070E92EF72BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$89DC3D59-C534-4E72-B3AF-E9B2AC9A338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$817C75B5-21FF-4A71-A3DD-5F2BAE31854F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$355027C0-3CC7-4A50-B813-BA09FFB57047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$DCE1F984-A771-48AE-80C2-0A24BCEABEAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b720e02b81e5e29fcdec6d05d066324ea9a15b","datavalue":{"value":"1602882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$598188E8-1A5E-44F1-B43D-8F3F78625A24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214d4b1ade78c7a26f78b2743bac9dc99aea9d26","datavalue":{"value":"functor slices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$C79DADCC-E11B-4CC2-9C84-60711CCDA250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$9FC341E9-D559-46DD-A987-A604FA19C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"719b41a9ccd0a67500d3ef8553223d638afbc7a1","datavalue":{"value":"epitransformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$EF7E762B-6458-411F-93E5-DD0461BE9FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$F8C1595C-A042-4E46-BA83-34F99A4F99D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2acc211614c4a1f55fa12444a0af4726815546","datavalue":{"value":"universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$47786ADD-9F90-4E4F-82E7-A6254148F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c351560c2a295848ebfe1f73ff66d325419e2a","datavalue":{"value":"compact Hausdorff spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932476$97A37134-A745-437E-B268-A8B2952C6F67","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":"Q5932476$3B2414D4-42AB-49D7-BE6B-E4553C9FD144","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b4306a9e8618acdf8ed6c7e43b36fc9e72f83d1","datavalue":{"value":"https://doi.org/10.1007/s000120050108","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932476$1D8B0176-0916-4495-8121-B1EA40518C07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf7fbbe811ab873c83fa2abcd867ee86d8de23e7","datavalue":{"value":"W2025078500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$F863BDEE-FE97-4425-A61F-DBF3D355AEB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bec1837421968c2f981fb38277e73b1fe456b54","datavalue":{"value":"10.1007/S000120050108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932476$2436EA9E-F569-48F7-9073-E21560F35F2E","rank":"normal"}],"P1643":[{"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":"3f4e6965fffb1a63d3091afe4def10f6585ecd05","datavalue":{"value":{"amount":"+0.9048788","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":"Q5932476$F3B7C105-280E-4C0D-A788-7B72A2646C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59bcfc405e4a722132f581d3a5bce9a61e6a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1022481,"id":"Q1022481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc9bc383fecdb7e566105aee4b51a25c850a00b","datavalue":{"value":{"amount":"+0.90290177","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":"Q5932476$813CFD2E-12C5-42E3-90E1-0B8B172F966A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3a66ab9f8019a8d4d46446e2b01b6238e72519","datavalue":{"value":{"entity-type":"item","numeric-id":270161,"id":"Q270161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad02842dadabaa33f1530a62e8f97bb08ebf1c04","datavalue":{"value":{"amount":"+0.89834","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":"Q5932476$7718BB38-90A2-416A-B921-A9F2837B9B89","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":"77685a4b62963f4921db8ecdc0f5a8a4b8d13f39","datavalue":{"value":{"amount":"+0.89668876","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":"Q5932476$189EB98F-12A9-4B2E-A3B9-8126E6FF26AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2013648839d8e6e0a8af77aa7ae5428c48706776","datavalue":{"value":{"entity-type":"item","numeric-id":5208691,"id":"Q5208691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af75a307aaa61117703691f85d4ad983d74bbf50","datavalue":{"value":{"amount":"+0.8889726","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":"Q5932476$4DAFAFA5-ED77-4DAF-8059-FE3DE9D7536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d46f33168924622ace4158f7687c81c76ed4ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1612169,"id":"Q1612169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31cd5b7bde76eb375623d7256ff4e3693ea66435","datavalue":{"value":{"amount":"+0.887157","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":"Q5932476$7E9177F6-56F7-450A-886E-5BDAE702CBC7","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":"3fdbe801156533c25abce5a103fd1395466d3581","datavalue":{"value":{"amount":"+0.88377833","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":"Q5932476$27DBCCE3-D6DD-49BB-8C12-E6BF9DF1C3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb8b30b2e03864e2ca5a0c317268a62fe6dda9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4585022,"id":"Q4585022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0b10ab05368322a777c1817b75fa5ee3dcf671","datavalue":{"value":{"amount":"+0.88346535","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":"Q5932476$7B1718E8-F114-41AE-8D2C-15443D873134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b48ae9909579df0bdfa129ebe6af1a8e198138c","datavalue":{"value":{"entity-type":"item","numeric-id":5395107,"id":"Q5395107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925c7dce96faf54127263256547a7f2a03cd7e2e","datavalue":{"value":{"amount":"+0.8832352","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":"Q5932476$7576A79B-27ED-4A94-89BD-6A98299864C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b7ab5703d737683dde06ec042dd36ef5987736","datavalue":{"value":{"entity-type":"item","numeric-id":4222954,"id":"Q4222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed7ca22a45f6508084604c91fc195e295cca86e","datavalue":{"value":{"amount":"+0.88193667","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":"Q5932476$184E6F4A-419A-43B4-8509-CCBD81EB61B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932476"}}}}}