{"entities":{"Q860879":{"pageid":862727,"ns":120,"title":"Item:Q860879","lastrevid":64900005,"modified":"2026-04-11T22:58:33Z","type":"item","id":"Q860879","labels":{"en":{"language":"en","value":"The intersection of algebra and coalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083520"}},"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":"Q860879$48CECF1F-CC04-4B13-97E0-FE70B97D7F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77e806cac2a590bf13c092a0915dd01091fa7047","datavalue":{"value":{"text":"The intersection of algebra and coalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860879$DFB3A617-C905-4E25-8387-2590D994E8BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9862c0003d2d788a60002927026a236785d03b88","datavalue":{"value":"1110.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$A6035B1D-A75A-4950-9C56-508990E1312F","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":"Q860879$A2B7DB4B-A99C-4BA4-9D84-7F2A52573C39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$8FDC4B31-3BCD-40C3-AF94-593C176E469F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860879$651647CC-B4B9-40C4-A0A7-1676AF7A429C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"baae2045ba8aef5f93fa0459ce5b210a8fc69c96","datavalue":{"value":"The aim of this paper is to prove that if a category is a variety of \\(F\\)-algebras and as well as a covariety of \\(G\\)-algebras for endofunctors \\(F\\) and \\(G\\) of many-sorted sets, then it is a presheaf category (shortly, algebra \\(\\cap \\) coalgebra = presheaves).   The main result is that all coalgebras on a set functor \\(H\\) form a presheaf category iff \\(H\\) is a reduction of a polynomial functor.   The present paper is an expanded version of \\textit{J. Ad\u00e1mek} [Lect. Notes Comput. Sci. 3629, 67--82 (2005; Zbl 1151.18004)] presented at the conference on algebra and coalgebra in computer science, CALCO 2005, in Swansea.","type":"string"},"datatype":"string"},"type":"statement","id":"Q860879$154431C8-552D-4C08-A09E-D26E7371B6D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$AE986820-B76B-4E6C-AE07-2ED97E74436F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$37BEDFD3-84AE-44F4-BD56-3AC6840DD119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$10A158D7-AFB8-4390-ADBD-8F9447AA9A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$D08E4C67-65CB-4CD7-8789-365EE41A52B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$689F3A8A-FC6B-414A-AE6C-99C9539E107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$6AEA0A90-BDC7-4F80-8BE9-880DD6E3E83D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f83c04d047de1c28bc7492292330972845c74f3","datavalue":{"value":"5083520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$D5BC6C19-33D7-4D77-9C02-D9E738C3B370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q860879$CE7CE073-969E-446D-9644-B9CCB4C9BA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51eeca1118cde926e38138b84c5673e43cd61a90","datavalue":{"value":"covariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q860879$9246D393-942D-4889-BC25-BD1D35AB4A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155afd2fc9ca9ec8b736348ebdcff524a2cba196","datavalue":{"value":"presheaf category","type":"string"},"datatype":"string"},"type":"statement","id":"Q860879$E1BB868D-70B6-4B32-B1E4-3F98AD7249D7","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":"Q860879$11F87A32-1577-4E96-BE4C-397A640D9B00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4641151f4295b241ca366394d44bbefb9dfcf952","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q860879$1CB200E1-6202-4882-B8A8-5D5E11C3D018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5270c6bc6c37d1a042060eeebbb8ccf67b0428a8","datavalue":{"value":"W1968654628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$AC207E04-FAD4-41C3-BCCB-E734C5CFB008","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e15120a63bf6d34f5de7797db2e44d25e2daa4","datavalue":{"value":{"entity-type":"item","numeric-id":5492814,"id":"Q5492814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$49D8253D-F263-4D61-B9F8-6D2C40B18B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$648D3393-DDE0-447D-8261-713AC970920C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1535d474fd2006462c4ccced829261db613aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4408805,"id":"Q4408805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$EA6A80C2-1258-46DB-B733-129B62E9903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df78e87fac3bc29a9432355ad3ae1c01f7435c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4111746,"id":"Q4111746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$AAFD0AED-4CA8-45EF-A341-8FC393249EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$38A5A4AF-963A-4326-8018-8AC5084353A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc6a614161ba750691061b26d7e0bc4b52df8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5941159,"id":"Q5941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$8DA359CD-D811-40F1-8CE3-044E89AECAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9d67cedef0af99ef382671d3ad1177ddf4a7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4222949,"id":"Q4222949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$494AD994-C896-4E97-95C7-B3C677ACD26B","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":"Q860879$DAB0078A-E900-4DDE-BAE6-408CE0407911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$FD341CD5-18EC-44D8-AEA5-D29649252CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed3f25134cf65f36ed2080a92cc800f84a6fe74","datavalue":{"value":{"entity-type":"item","numeric-id":3050611,"id":"Q3050611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$66A3654D-30AF-4B3C-BDAD-1063A23150D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$5AD6B600-E987-4C96-AD92-811834745211","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":"Q860879$FC5BBD51-28AA-4D3A-8B55-4A3EF8710980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2d9e46abec82d228999c4b501903897d75c586","datavalue":{"value":{"entity-type":"item","numeric-id":1330913,"id":"Q1330913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$25D47AEB-062C-4369-99E7-5947A9CC764A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9725d091ef3910e262bb2d0ae4c102f75869c587","datavalue":{"value":{"entity-type":"item","numeric-id":4665125,"id":"Q4665125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$065BAB58-BCD5-4DEC-8DE8-F7A24581907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656aa804aecfb035e0889db6944cb6375e3ac46c","datavalue":{"value":{"entity-type":"item","numeric-id":1240295,"id":"Q1240295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$6625DE4D-8852-4F62-B316-52CE2DF5D4F1","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":"Q860879$583DAAF9-98F6-4090-8CCE-9A36319ADA90","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":"Q860879$09B14D1F-D31D-4874-9218-E26C81D17EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7f16b45b00354967757a40d4dba93e73628e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5639842,"id":"Q5639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$3F10BE10-A976-4FF8-BBAF-8F8DA8D9E058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7e2494aa6a3632e0f9156eb036966f103d803","datavalue":{"value":{"entity-type":"item","numeric-id":2842566,"id":"Q2842566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860879$9788134A-8112-4EF3-AD29-5626D704AE91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bca51c1875cd249cefd82d4ab057d29086857a01","datavalue":{"value":"10.1016/J.TCS.2006.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860879$FCA0B242-FC58-497E-A2F6-82A79A6B3C3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdec25ff7cc56fc81181b2300099843d642d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":4917031,"id":"Q4917031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b900d545fc8914214b170b066f060231e8a31572","datavalue":{"value":{"amount":"+0.8118925094604492","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":"Q860879$184C0C6E-38FE-43EA-B76A-3AD569B82ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1181a33728da5def8ac75293b3600c93c1fe4e92","datavalue":{"value":{"entity-type":"item","numeric-id":4665125,"id":"Q4665125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7bbfed51c4942dac7f5007bdf147e2854928048","datavalue":{"value":{"amount":"+0.8072774410247803","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":"Q860879$4D122C39-D985-4147-AFA3-008B7FBF4A10","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":"708dd38763df0d326b8ae8d9fd5e23cd5b989f23","datavalue":{"value":{"amount":"+0.7902204990386963","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":"Q860879$D266B106-3DE6-46D2-9D76-71583730D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e171abb8eda9de254f994de6fad4a42d11646621","datavalue":{"value":{"entity-type":"item","numeric-id":3698981,"id":"Q3698981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c623b71eaf2b207207d9bde92f4e0c1184811444","datavalue":{"value":{"amount":"+0.7846513986587524","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":"Q860879$F14D093B-E294-4ED7-9DA7-80B0FB4ED4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"752242f41ea5d6f3dccb5f90db032616632df0ec","datavalue":{"value":{"entity-type":"item","numeric-id":2842566,"id":"Q2842566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100960b716d7c529d1491edf80704c34bbe70daf","datavalue":{"value":{"amount":"+0.7839319109916687","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":"Q860879$2E4BD408-8664-4159-BA25-C64F10BE70D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intersection of algebra and coalgebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_intersection_of_algebra_and_coalgebra"}}}}}