Beth companions of finitary essentially algebraic theories

Ivan Di Liberti, Luca Reggio

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,…