{"id":"arxiv/2605.09141","url":"https://arxiv.org/abs/2605.09141","tags":["math.CT","math.LO","math.RA"],"score":0,"title":"A categorical description of simple Beth companions","domain":"math.CT","source":"arxiv","authors":["Luca Carai","Miriam Kurtzhals","Tommaso Moraschini"],"reviews":0,"subject":"math.CT","summary":"A pp expansion of a quasivariety $\\mathsf{K}$ is said to be simple when it is of the form $\\mathsf{K}[\\mathscr{L}_\\mathcal{F}]$. For instance, when $\\mathsf{K}$ has the amalgamation property, all its pp expansions are simple. It is shown that the simple pp expansions of a quasivariety $\\mathsf{K}$ coincide with the quasivarieties $\\mathsf{M}$ for which the forgetful functor $U \\colon \\mathsf{M} \\to \\mathsf{K}$ is well defined and induces an isomorphism from $\\mathsf{M}$ to a mono-reflective subcategory of $\\mathsf{K}$. As a consequence, if a quasivariety $\\mathsf{K}$ possesses a simple Beth…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-09","reactions":{}}