Local presentability of certain comma categories (Q2303778)

It is well known [\textit{J. Adámek} and \textit{J. Rosický}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007)], Proposition 2.43] that if $A$ and $C$ are $\lambda$-presentable categories and $F:A\rightarrow C$ is a $\lambda$-accessible functor, then $\mathrm{id}_{C}\downarrow F$ is also locally $\lambda$-presentable. This paper establishes that Proposition. If $A$ and $C$ are $\lambda$-presentable categories and $F:A\rightarrow C$ is a $\lambda$-accessible functor, then $F\downarrow\mathrm{id}_{C}$ is also locally $\lambda$-presentable.