Models of Horn theories revisited (Q1321041)

In his paper ``Models of Horn theories'' [Contemp. Math. 92, 1-7 (1989; Zbl 0676.03022)], \textit{M. Barr} made a conjecture regarding a characterization of categories of models of universal Horn theories, which is answered affirmatively in the article under review. Given a set \(S\) of sorts, and a set \(\Sigma\) of \(S\)-sorted operation and relation symbols, a universal Horn theory for this is given by a set of axioms of the form \(\forall x\) \((\bigwedge_{i\in I} \tau_ i(x) \Rightarrow \psi(x))\), where \(\tau_ i\) (for all \(i\in I\)) and \(\psi\) are atomic formulas, \(I\) is a set and \(x\) is an \(n\)-tuple of variables. The theorem proved states that a category \({\mathcal K}\) is equivalent to a category of models of a universal Horn theory iff it is locally presentable and has an additive generating set of regular projectives. The paper concludes with an example showing that the condition of additivity on the regular projectives is necessary.