{"entities":{"Q1324901":{"pageid":1335651,"ns":120,"title":"Item:Q1324901","lastrevid":70715151,"modified":"2026-04-13T16:17:56Z","type":"item","id":"Q1324901","labels":{"en":{"language":"en","value":"Characterization of functors of G-symmetric power and extension of functors to the Kleisli category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 578687"}},"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":"Q1324901$84F05B99-64BA-4F52-B285-5E1EB57443D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ce018c7c50f46c38df459354c3fd0d198411d06","datavalue":{"value":{"text":"Characterization of functors of G-symmetric power and extension of functors to the Kleisli category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1324901$DACC94FD-1F8F-4F9D-9ECC-6E6D7340E04C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bdbaa63e761e3f208470f51ecad9fd640fbd673","datavalue":{"value":"0795.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324901$8C99B48C-7B8E-400A-AE10-EB60B80A364D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324901$2934A6DE-F669-416F-AEF1-EB35CE0E526D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71edc96fcbd008bfd3061c3ff4af97a6b34cf242","datavalue":{"value":{"time":"+1994-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1324901$1E81FD0E-9831-4E5B-B456-6184277CE608","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02d28f24526437ecc4110be7ff951d2a257a320d","datavalue":{"value":"One of the important problems of the general theory of normal functors, whose foundations have been laid by \\textit{E. V. Shchepin} [Usp. Mat. Nauk 36, No. 3(219), 3-62 (1981; Zbl 0463.54009)], is the problem of intrinsic characterization of concrete functors or classes of functors. At present characterization theorems for functors of the hyperspace exp, hypersymmetric power \\(\\exp_ n\\), and power functors [\\textit{V. V. Fedorchuk}, Usp. Math. Nauk 41, No. 6(252), 121-159 (1986; Zbl 0642.57011)] have been obtained.   In this note we prove two characterization theorems for the class of functors of \\(G\\)-symmetric power \\(SP^ n_ G\\). Let us observe that Theorem 1, in particular, asserts that the conditions of openness and bicommutativity for normal functors of a finite degree are equivalent (for arbitrary normal functors this problem is unsolved). Theorem 2 is a refinement of a result of the author [Mat. Zametki 41, No. 1, 93-100 (1987; Zbl 0624.54008)] and gives a characterization of the functors \\(\\text{SPL}^ n_ G\\) in terms of extensions to the Kleisli category [\\textit{S. MacLane}, Categories for the working mathematician (1971; Zbl 0232.18001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$E51CA630-B4B3-4E1A-AE93-E1FF54B17A2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324901$B2DFFB46-C3E8-4413-854C-8E7CDAB31798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324901$22385843-C28F-47F5-B338-9E742BB2A842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b89f4c4db446815af05207b5efdc727a8a562d31","datavalue":{"value":"578687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324901$ACF3A595-1387-4340-9A77-5D7BBB337BDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc2b08a78bfc48ff1d4c957b870e2b8957f4ad7","datavalue":{"value":"\\(G\\)-symmetric power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$9AF92F08-6DE6-4458-AF34-0EBE970EC6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5fcf045abce85297301b5dc2c5cf8563c6de7a","datavalue":{"value":"normal functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$AE0FE191-AD79-4084-ADC4-F34CB2522866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688b2b855dc907ef0312af7809ecaa494775b0cc","datavalue":{"value":"characterization theorems for functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$5D4A0C44-2DE0-46F7-9079-021963742BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc4ed271ba765f77accbc936cd740029c16d77c","datavalue":{"value":"hyperspace exp","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$CC5484AF-54D9-497D-BA08-89FC44830166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5314448d1a75074d765ff32f410e54fcbcef8a","datavalue":{"value":"hypersymmetric power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$0BB57656-0C6C-44E2-99B1-D50055E5448C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53e58b2c38d00965cfbf9f00961ca60a1682f45","datavalue":{"value":"power functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$05DC51F2-67DA-4A0A-BE77-66D938D3C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdabbe4eaf86246e46f78059dcfeab338015735","datavalue":{"value":"openness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$CA22CC35-0608-406E-9334-833413060F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d38439c322aecd0db907697eddd5e3aed2e2f8","datavalue":{"value":"bicommutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$ED981B01-DEA0-45A4-A972-5B5B1AFAA1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324901$A8A35107-17D3-44D7-A5ED-419AF9235662","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"228db4eff38792d3827b3765a156b4653a2d4bec","datavalue":{"value":{"entity-type":"item","numeric-id":248782,"id":"Q248782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324901$374C2FAD-81C8-46EF-8C0A-956279FD1563","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":"Q1324901$F7AB95E1-0C8B-4BA4-9084-04C00E046BBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeefba4e11b7800dd8859f3d3ae21225d167ad0f","datavalue":{"value":{"entity-type":"item","numeric-id":3607022,"id":"Q3607022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca618b97f5197f99814c1a429206d13959086e89","datavalue":{"value":{"amount":"+0.8692150712013245","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":"Q1324901$4B84096C-1561-4132-9272-D1813E6BB3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06fe2b32433de9b18df7b968c0d837b69ec9976d","datavalue":{"value":{"entity-type":"item","numeric-id":4317121,"id":"Q4317121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fdc6cccbd81030601aba7a218614d4c35dc317","datavalue":{"value":{"amount":"+0.8478335738182068","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":"Q1324901$AD5093AA-6B21-4412-8DD5-BFC08046A11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cc5fa8fa17cb6ed5576fe5b7a4c5a18e745a23","datavalue":{"value":{"entity-type":"item","numeric-id":4948111,"id":"Q4948111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516bd3c9944b5a7678ac06128d04de134885b626","datavalue":{"value":{"amount":"+0.8302773237228394","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":"Q1324901$8B197FD1-E34F-40F7-A606-ACC46EE30111","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterization of functors of G-symmetric power and extension of functors to the Kleisli category","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterization_of_functors_of_G-symmetric_power_and_extension_of_functors_to_the_Kleisli_category"}}}}}