P{\l}onka Adjunction

For a signature $\Sigma$ and its subsignature $\Sigma^{\neq 0}$ without $0$-ary operation symbols, we prove (1) that there are strong Lawvere adjoint cylinders between the category $\mathsf{Ssl}$, of sup-semilattices, and the categories $\int^{\mathsf{Ssl}}\mathrm{Isys}_{\Sigma}$, of sup-semilattice inductive systems of $\Sigma$-algebras, and $\int^{\mathsf{Ssl}}\mathrm{Isys}_{\Sigma^{\neq 0}}$, of sup-semilattice inductive systems of $\Sigma^{\neq 0}$-algebras; (2) that there exists an adjunction between $\mathsf{Ssl}$ and the category $\mathsf{Alg}(\Sigma^{\neq 0})$, of $\Sigma^{\neq 0}$-algebras; (3) that there exists an adjunction between the categories $\mathsf{Ssl}$ and $\mathsf{Lnb}$, the category of left normal bands; (4) after defining and stating several technical results on the category $\mbox{\sffamily{\upshape{P{\l}Alg}}}(\Sigma^{\neq 0})$, of P{\l}onka $\Sigma^{\neq 0}$-algebras, and defining functors $J_{\Sigma^{\neq 0}}$ from $\mbox{\sffamily{\upshape{P{\l}Alg}}}(\Sigma^{\neq 0})$ to $\mathsf{Alg}(\Sigma^{\neq 0})\otimes\mathsf{Lnb}$, the tensor product of $\mathsf{Alg}(\Sigma^{\neq 0})$ and $\mathsf{Lnb}$, and $P_{\Sigma^{\neq 0}}$ from $\mathsf{Alg}(\Sigma^{\neq 0})\otimes\mathsf{Lnb}$ to $\mathsf{Alg}(\Sigma^{\neq 0})$, we prove that $P_{\Sigma^{\neq 0}}\circ J_{\Sigma^{\neq 0}}$ has a left adjoint; finally, (5) after defining a functor $\mathrm{Is}_{\Sigma^{\neq 0}}$ from $\mbox{\sffamily{\upshape{P{\l}Alg}}}(\Sigma^{\neq 0})$ to $\int^{\mathsf{Ssl}}\mathrm{Isys}_{\Sigma^{\neq 0}}$ we prove the main result of this paper: that $\mathrm{Is}_{\Sigma^{\neq 0}}$ has a left adjoint $\mbox{\upshape{P{\l}}}_{\Sigma^{\neq 0}}$, which is the P{\l}onka sum.