Generalized Płonka sums and products (Q2254602): Difference between revisions

The paper gives an abstract categorical treatment of Płonka sums and products using lax and oplax morphisms of monads. Płonka sums with sup-semilattices as arities were originally defined as operations on algebras of regular theories. It turns out that even more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. The author shows that similar operations can be defined on the category of algebras of any analytic monad by allowing the arities to be the categories of linear polynomials over any commutative monoid, i.e. any algebra for the terminal analytic monad. There are also dual operations of Płonka products that can be defined on Kleisli categories of commutative monads.