Definition 7.2 (Locally finitely presentable category) 
[1]} A locally finitely presentable (LFP) category \(\)  is a cocomplete category s.t. there is a small full subcategory \(\subset \)  of finitely presentable objects, and such that every object of \(\)  is a directed colimit of objects of \(\) .

