A locally small cocomplete category $$\mathcal{C}$$ is called locally presentable if there exists a regular cardinal $$\lambda$$ such that $$\mathcal{C}$$ is generated under $$\lambda$$-filtered colimits by a set of $$\lambda$$-small objects.