(strictly) locally finitely presentable category
On Finitary Functors
scientific article; zbMATH DE number 7130286
scientific article