On essentially algebraic theories and their generalizations (Q5932479)

The authors of the paper give a new proof of the fact that essentially algebraic theories form a syntax for locally presentable categories and describe an appropriate syntax for locally generated categories. Further they characterize locally multirepresentable categories and provide an analogous syntax also for this case. Some of the presented proofs simplify those from the book of \textit{J. Adámek} and \textit{J. Rosický} [``Locally presentable and accessible categories'', Cambridge Univ. Press, Cambridge (1994; Zbl 0795.18007)].