{"id":"arxiv/2609.03601","url":"https://arxiv.org/abs/2609.03601","tags":["math.CT","math.LO","math.RA"],"score":0,"title":"Beth companions of finitary essentially algebraic theories","domain":"math.CT","source":"arxiv","authors":["Ivan Di Liberti","Luca Reggio"],"reviews":0,"subject":"math.CT","summary":"For categories, being balanced (meaning that every arrow that is both epic and monic is an isomorphism) can be regarded as a strong tameness property which plays an important role, for example, in algebra and logic. We study the problem of associating a balanced companion category, called a \\emph{Beth companion}, to a locally finitely presentable category (equivalently, the category of models of a finitary essentially algebraic theory). We show that, if it exists, the Beth companion is unique and can be described in terms of \\emph{saturated} objects. Under additional assumptions, we prove…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}