{"entities":{"Q5950751":{"pageid":8127553,"ns":120,"title":"Item:Q5950751","lastrevid":47713717,"modified":"2026-01-02T12:26:41Z","type":"item","id":"Q5950751","labels":{"en":{"language":"en","value":"Functors for coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682601"}},"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":"Q5950751$DBA6B09A-EC9D-434E-97C7-EB4B265643AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eadd9580771578314393fd21a251517f29d981b0","datavalue":{"value":{"text":"Functors for coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950751$B559C532-71C9-412A-9C7B-3BB0B642C904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23b840575607a1773ceb67d97f36a7ae5f3b16e2","datavalue":{"value":"0982.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$4FBF46AB-9394-4359-B2BF-1DBD5292977C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950751$6A20AAB7-A82B-41B6-84F6-F69AD894AE09","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":"Q5950751$1E968096-0214-4F56-93EA-8CB9990D3C67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cff48275765814590658d506aafb5ce41ac2a492","datavalue":{"value":{"time":"+2001-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950751$AF42A3A5-8BF3-48CF-A333-BD025ADFF94E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dfe89d4d6521c9cb9312c2b20cc4c7dba368e91a","datavalue":{"value":"Coalgebras have been introduced by \\textit{P. Aczel} and \\textit{N. Mendler} [Lect. Notes Comput. Sci. 389, 357-365 (1989; Zbl 0712.68006)] to model various types of transition systems. Giving a functor \\(T\\) from \\textbf{Set}, the category of sets, to itself, a coalgebra of type \\(T\\) is a map \\(\\alpha : X \\rightarrow T(X)\\). Functors preserving weak pullbacks provide the basis for a rich structure theory of coalgebras. The author gives an easy criterion to check whether a functor preserves weak pullbacks. He applies this characterization to the functor which associates a set \\(X\\) with the set of all filters on \\(X\\). It turns out that this functor preserves weak pullbacks but not weak generalized pullbacks. Since topological spaces form coalgebras, he finds that intersection of subcoalgebras need not be a coalgebra and hence 1-generated subcoalgebras need not exist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950751$284BB840-569F-46A7-828D-343B829C7199","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":"Q5950751$83F5EC00-5C2D-4AD0-A435-5BCCD8BB2585","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$8A18CF36-5366-417F-A2B5-C3EF6CFF4C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$A045D689-AF16-4C29-BB4E-ABF1A20582BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$EF9CF8B7-C4B4-4ACD-B18E-2C4B75FCCD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$DE8A6227-7CEE-4F6B-9FCF-AA5BDCDAE571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$C0864BFF-FD41-45D6-BF1F-8EB984EB1B7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ad970bcc059e2001f5a3c19141ac9b8ebc7ae95","datavalue":{"value":"1682601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950751$11564DE8-9573-4E39-926E-44A99ABE8F3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950751$2C4C6364-849C-44A6-B9E1-E0B682DF3AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdf7a02c05e059d666384dbd46b22c119a0bb1b","datavalue":{"value":"weak pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950751$02ADC230-E231-4F35-ABB5-D1CAB19C971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aa384d44a635f7c27af2dad696fc7b6fd09722","datavalue":{"value":"filter functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950751$3321C722-2A84-4C1F-8B44-9E767D3AECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51eeca1118cde926e38138b84c5673e43cd61a90","datavalue":{"value":"covariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950751$E8A22B3A-1450-4846-8432-4EDF216CCA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950751$457392AA-048B-44AD-85C6-9FF468325084","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":"Q5950751$B708E09E-8420-4EF8-9628-4554F54A3C98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1090166839e500dee070e5a0b4e035a2ecb8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":3056295,"id":"Q3056295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343af3a16ede1ad0442f0e2e06c475d43733ae6a","datavalue":{"value":{"amount":"+0.8061798810958862","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":"Q5950751$EEEF92CD-23D1-4B1A-890E-C69EF735F51D","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":"9e920091de7ef66cd6756408e87862055fa13898","datavalue":{"value":{"amount":"+0.805677592754364","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":"Q5950751$092E3ADA-0696-487B-A457-8C0691D13254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dbac2a6fb7a987a7f64e6b934d2c4969bacf4b","datavalue":{"value":{"entity-type":"item","numeric-id":4792971,"id":"Q4792971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b7db6c34372d734396936928ef385e235af410","datavalue":{"value":{"amount":"+0.7919170260429382","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":"Q5950751$F5677EB0-2F4C-465F-811E-948C58C4F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134a959f3edcb99c96e7f1bf455fccbcf636550b","datavalue":{"value":{"entity-type":"item","numeric-id":276401,"id":"Q276401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b7db6c34372d734396936928ef385e235af410","datavalue":{"value":{"amount":"+0.7919170260429382","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":"Q5950751$07BD7FB3-BB76-49BF-9E02-A34440BB9328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950751"}}}}}