A categorical description of simple Beth companions
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.09141
curl -X POST /api/v1/records/arxiv/2605.09141/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.09141/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'