{"entities":{"Q7007222":{"pageid":21546294,"ns":120,"title":"Item:Q7007222","lastrevid":82935800,"modified":"2026-05-06T22:30:11Z","type":"item","id":"Q7007222","labels":{"en":{"language":"en","value":"Functorial aggregation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8017181"}},"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":"Q7007222$AA01CB88-784A-4AEB-8481-DBFABEB58ADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"371f3b2fda6636daac82946f2cc49835ef488d63","datavalue":{"value":{"text":"Functorial aggregation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007222$0F7011A7-987D-4DAC-85A6-E37EDB05D12D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"445cfce00d589e0f0e8d3a38d9d715e7fed14e3f","datavalue":{"value":"1562.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007222$F2B9735E-D992-4439-AB6E-B1C879B336DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06c1b89e99ddb1962e94b2d172a41af75cc12c16","datavalue":{"value":"10.1016/J.JPAA.2025.107883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007222$61F44925-C3DA-4673-8364-1DF45314B68D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fbbf69258f6d48525479abc15deea1d10693da4","datavalue":{"value":{"entity-type":"item","numeric-id":618739,"id":"Q618739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$314BC3E7-C523-45ED-88A7-FDCB95015A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$B806442A-E9BC-443A-B17C-7FAEC93564E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be987c1d60d1df03de074855c579e8a2e0938ea2","datavalue":{"value":{"entity-type":"item","numeric-id":6847700,"id":"Q6847700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$81277BB1-A9F3-46FE-B518-14CEC881EE57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$DEBAA62F-EACF-4B95-AFF6-71E9E7747A82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73717b0f7e6b2acea0ec4925c9882191b5fb6c53","datavalue":{"value":{"time":"+2025-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007222$E09AA7D7-CAF7-49AB-852E-E81E70C0ED9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c807ff15445aaf77aaa4e53e63373f3bf370048","datavalue":{"value":"This paper investigates multi-variable polynomials, but instead of sets of variables the polynomials in this paper have categories of variables. The synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 2] introduces the category \\(\\boldsymbol{Poly}\\) of polynomial functors in one variable.\\N\\N\\item[\\S 3] generalizes to multi-variable polynomials comprising a framed bicategory \\(\\mathbb{C}\\boldsymbol{at}^{\\#}\\) called the \\textit{polynomial ecosystem}.\\N\\N\\item[\\S 4] demonstrates abstractly an equivalence between \\(\\mathbb{C}\\boldsymbol{at}^{\\#}\\) and the framed bicategory of polynomial comonads, comonad morphisms and bicomodules, which is an generalization of \\textit{D. Ahman} and \\textit{T. Uustalu} [Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89--98 (2016; Zbl 1477.68169)]. The authors give a nice description of the prafunctors between presheaf categories in terms of polynomial comonads, concluding that bicomodules between polynomial comonads are prafunctors between copresheaf categories.\\N\\N\\item[\\S 5] unpacks the details of the above correspondence concretely.\\N\\N\\item[\\S 6] addresses two important subcategories of \\(\\mathbb{C}\\boldsymbol{at}^{\\#}\\), namely, the full sub framed bicategory spanned by the discrete categories equivalent to Gambino and Kock's framed bicategory \\(\\mathbb{P}\\boldsymbol{olyFun}_{\\boldsymbol{Set}}\\) \\ [\\textit{N. Gambino} and \\textit{J. Kock}, Math. Proc. Camb. Philos. Soc. 154, No. 1, 153--192 (2013; Zbl 1278.18013)] as well as the ordinary framed bicategory of categories, functors and profunctors.\\N\\N\\item[\\S 7] gives two monoidal structures on multi-variable polynomials, namely, a global monoidal structure on a category of all multivariable polynomials, regardless of their input- and output-types, and local monoidal structures on the categories \\(\\mathbb{C}\\boldsymbol{at}^{\\#}\\left( c,d\\right) \\) for fixed \\(c\\) and \\(d\\). The authors construct the global structure directly from the single-variable structure on \\(\\boldsymbol{Poly}\\), deducing the local one via the theory of monoidal fibrations [\\textit{M. Shulman}, Theory Appl. Categ. 20, 650--738 (2008; Zbl 1192.18005)].\\N\\N\\item[\\S 8] put the pieces together to explain how aggregation fits into \\(\\mathbb{C}\\boldsymbol{at}^{\\#}\\).\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$67CEEF9B-40B2-46E6-8AC0-45F770006E9A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$CB9B763D-4167-4C36-A285-E7475DD2FD20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8b207640844a226721b7eb12755008dfc8194c0","datavalue":{"value":"18D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007222$602601E5-BC8E-46F8-8DF9-899A66A9B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007222$85340F2F-4595-4E76-B38D-65630D1BBF92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"504666eb784e767a98fcc42994e110e749e896f6","datavalue":{"value":"8017181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007222$F1EFD6E6-03C6-4780-BFC6-EF3EAEC67F9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b36e7f2f2edf82469896981120488f710d53d80","datavalue":{"value":"aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$BF410E26-3E86-4592-894D-7FF3CDA10820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$4FDE2417-44C0-4715-8ECD-35B8FFD55997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d06529958ba5629e39f8457a47687d180bc0b5c","datavalue":{"value":"polynomial functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$84A1929D-335C-490E-9FEE-D60D3C74B023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"550c60c28a1fee35c098bfb52786e9fb7fe8c6af","datavalue":{"value":"retrofunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$E9DEA51A-CD58-4C20-970E-6856874B4EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e8075d72b121c9b6c1b98334ced20414dad385","datavalue":{"value":"parametric right adjoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$F81748FC-23F3-40E8-92B6-31FF794F9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$03BCCEEC-A70D-445F-8681-6E4BFE827AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca2ea195f827898e534b636a26b400f2ef23bed","datavalue":{"value":"bicomodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007222$F6D57269-0EEB-46D4-96A8-989B659772DA","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":"Q7007222$FD426AA0-B678-4DF7-B699-66F847E1832D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$D27FCD57-9E50-4297-BBA2-6FCB59FFFCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$00A81AE5-F1CD-46B6-AE76-6087D827F7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$67A774B6-090B-442C-96F6-8EC9EF560E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a61d001cdfddc69f529c68410414f2a7d60cbd","datavalue":{"value":{"entity-type":"item","numeric-id":714735,"id":"Q714735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$EE473B69-4C44-4AA4-B214-B01A284F9B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c791919018d1c3d5439bd9c8b555f67c84d44f","datavalue":{"value":{"entity-type":"item","numeric-id":5013830,"id":"Q5013830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$9C4E92D0-7837-41BB-8994-1C6E69C36A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2241543a9b0ee1abcdce98666f228817f77ee4e7","datavalue":{"value":{"entity-type":"item","numeric-id":3646422,"id":"Q3646422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$C45C0590-A3C6-40F4-B7FF-292FE07E6700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$2A58E430-18A9-4E0B-AD35-343867950AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$03640F70-0B9D-4F6A-9E69-91DA9DFB1FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cca4c7b9b94ff9bf899a46e8be72baae83cc53","datavalue":{"value":{"entity-type":"item","numeric-id":5454622,"id":"Q5454622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$BECFFED0-838F-49BC-991D-A9DF38D4A810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90146f2efeda0c70107463a76ff923ded610948","datavalue":{"value":{"entity-type":"item","numeric-id":6593820,"id":"Q6593820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$70A34991-BB7C-4B4B-A186-C641DFDF68D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37df3a20d45d4e9f8e3c76087d133d21e4cd9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":4652984,"id":"Q4652984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$459604AA-5917-4C58-AD23-304C4E13F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1c7b6df9d0ac656056f5858db253db53d7a66f","datavalue":{"value":{"entity-type":"item","numeric-id":3708172,"id":"Q3708172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$54B9BA9F-4575-4931-A4A9-EED3B70D2228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931977f46558fab6104c8d23e3756dde80f54126","datavalue":{"value":{"entity-type":"item","numeric-id":904009,"id":"Q904009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$EE6A2516-CD9E-4206-84BF-9182256AC20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$993FF2D8-614C-487E-A199-A074DA473187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$91E31A36-72A9-4C43-8862-DAB16D70FBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$543E72BD-176B-43A1-895D-E2F0A2D12C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6110a64ecf00f47fd6930374a7a53cf3bd2c1c17","datavalue":{"value":{"entity-type":"item","numeric-id":6938651,"id":"Q6938651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$C534DCFA-79DF-4DDB-9537-DE3D433F73D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$11B589A1-4914-4DE9-ABD0-4EB1AB075D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38d0774da910cf091cbd24790140f1cced544fc","datavalue":{"value":{"entity-type":"item","numeric-id":3927891,"id":"Q3927891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$BEE6ACA4-FEB1-489D-8E22-2BA3EA60DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b95b744584087a4c6f6306b649a16cef8b8bfb2","datavalue":{"value":{"entity-type":"item","numeric-id":1684755,"id":"Q1684755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$07D4944C-D492-4EB7-9FBF-D779ADF29801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff64749f822145e157fd652bc5261ec05039451e","datavalue":{"value":{"entity-type":"item","numeric-id":2768442,"id":"Q2768442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$0E0B7E16-FD6B-4698-84A8-42D4327093E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2feaff169505f72e60416b25f7ae0f02b20e87a","datavalue":{"value":{"entity-type":"item","numeric-id":2981748,"id":"Q2981748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007222$CAB945CC-1045-42B1-9DCD-E317A1352922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functorial aggregation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functorial_aggregation"}}}}}