Algebraic theories of quasivarieties (Q1273384): Difference between revisions

By the theory of a locally finitely presentable category \(\mathcal K\) is meant the dual \(\text{Th}(\mathcal K)\) of the subcategory of finitely presentable objects. The authors characterize the theories of (many-sorted, finitary) (a) quasivarieties and (b) Horn classes. The characterizations are simply stated; for (a), it is just the small left exact categories with enough regular injectives; (b) requires a suitable extension of ``regular''. The paper also reviews known characterizations of quasivarieties (due to Adámek and Rosický, and in the one-sorted case, to the reviewer) and corrects an erroneous characterization stated by \textit{M. Barr} [Contemp. Math. 92, 1-7 (1989; Zbl 0676.03022)].