P{\l}onka Adjunction

arXiv2305.03581MaRDI QIDQ6435513FDOQ6435513

Juan Climent Vidal, Enric Cosme-Llópez

Publication date: 5 May 2023

Abstract: For a signature $Sigma$ and its subsignature $Sigm{a}^{eq0}$ without $0$-ary operation symbols, we prove (1) that there are strong Lawvere adjoint cylinders between the category $mathsfSsl$, of sup-semilattices, and the categories $in{t}^{mathsfSsl}mathrm{Isys}_{Sigma}$, of sup-semilattice inductive systems of $Sigma$-algebras, and $in{t}^{mathsfSsl}mathrm{Isys}_{Sigm{a}^{eq0}}$, of sup-semilattice inductive systems of $Sigm{a}^{eq0}$-algebras; (2) that there exists an adjunction between $mathsfSsl$ and the category $mathsfAlg(Sigm{a}^{eq0})$, of $Sigm{a}^{eq0}$-algebras; (3) that there exists an adjunction between the categories $mathsfSsl$ and $mathsfLnb$, the category of left normal bands; (4) after defining and stating several technical results on the category $mboxsffamilyupshapePlAlg(Sigm{a}^{eq0})$, of P{l}onka $Sigm{a}^{eq0}$-algebras, and defining functors $J_{Sigm{a}^{eq0}}$ from $mboxsffamilyupshapePlAlg(Sigm{a}^{eq0})$ to $mathsfAlg(Sigm{a}^{eq0})otimesmathsfLnb$, the tensor product of $mathsfAlg(Sigm{a}^{eq0})$ and $mathsfLnb$, and $P_{Sigm{a}^{eq0}}$ from $mathsfAlg(Sigm{a}^{eq0})otimesmathsfLnb$ to $mathsfAlg(Sigm{a}^{eq0})$, we prove that $P_{Sigm{a}^{eq0}}circ{J}_{Sigm{a}^{eq0}}$ has a left adjoint; finally, (5) after defining a functor $mathrm{Is}_{Sigm{a}^{eq0}}$ from $mboxsffamilyupshapePlAlg(Sigm{a}^{eq0})$ to $in{t}^{mathsfSsl}mathrm{Isys}_{Sigm{a}^{eq0}}$ we prove the main result of this paper: that $mathrm{Is}_{Sigm{a}^{eq0}}$ has a left adjoint $mbox{upshapePl}_{Sigm{a}^{eq0}}$, which is the P{l}onka sum.

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Categories of algebras (08C05) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Products, amalgamated products, and other kinds of limits and colimits (08B25) Finitary algebras (08A62)

This page was built for publication: P{\l}onka Adjunction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6435513)