The theory of locally presentable categories, accessible categories and accessible functors is a powerful theory that includes many large categories and functors of interest. This theory often gives ...