Abstract: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łAlg}}}(\Sigma^{\neq 0})$, of Płonka $\Sigma^{\neq 0}$-algebras, and defining functors $J_{\Sigma^{\neq 0}}$ from $\mbox{\sffamily{\upshape{Pł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ł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ł}}_{\Sigma^{\neq 0}}$, which is the Płonka sum.

De Morgan-Płonka Sums

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Existentially closed De Morgan algebras

Cylindric algebras of De Morgan-valued logic

Logics of upsets of De Morgan lattices

Dedekind sums: a combinatorial-geometric viewpoint

Płonka Adjunction

Syllogisms in Rudimentary Linear Logic, Diagrammatically

De Morgan's law and the theory of fields

Towards a General Theory of Dependent Sums

Polarizing Double Negation Translations

Möbius Inversion and Duality for Summations of Stable Graphs

On the General Dedekind Sums and Its Reciprocity Formula

Logic of left variable inclusion and Plonka sums of matrices

On infinite variants of De Morgan law in locale theory

Poincaré Duality in abstract 6-functor formalisms

Non-standard modalities in paraconsistent Gödel logic

A Study on a Type of Degenerate Poly-Dedekind Sums

Internal sums for synthetic fibered (∞,1)-categories

On Pocrims and Hoops

Sum and Tensor of Quantitative Effects