Characterization of functors of G-symmetric power and extension of functors to the Kleisli category (Q1324901)

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)].