On an Essentially Algebraic Theory for Locally Presentable Categories

This paper presents a general construction, defining for each given strong generator in any locally finitely presentable category an essentially algebraic, finitary theory – maximal in a certain sense – such that is equivalent to the category of models of . For regular generators , generalization to the non-finitary case is easily done, and yields a new proof of the famous characterization of many-sorted quasivarieties.