Ivan Di Liberti

Beth companions of finitary essentially algebraic theories

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 \emph{Beth companion}, to a lo...