local presentability has turned out to be one of the most fruitful concepts in category theory. the fact, that a category is locally finitely presentable iff it is equivalent to the category of models of some essentially algebraic, finitary theory, is ...