The case of algebras for a monad is discussed explicitly in Gregory Bird's thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

For the case of coalgebras, Jiří Rosický pointed out the key references to me by email:

The following theorem is due to Adámek and Porst in On tree coalgebras and coalgebra presentations as their Theorem 4.2.

We fix $\lambda$ an *uncountable* regular cardinal.

**Theorem:** Let $A$ be a $\lambda$-accessible category that admits colimits of $\omega$-chains, and let $F: A \rightarrow A$ be a $\lambda$-accessible endofunctor. Then:

- The category of $F$-coalgebra is $\lambda$-accessible.
- A $F$-coalgebra is $\lambda$-presentable if and only if its underlying object is $\lambda$-presentable in $A$.

**Corollary:** If $A$ is a locally $\lambda$-presentable category and $F$ is a $\lambda$-accessible endofunctor on $A$ then the category of $F$-coalgebra is locally $\lambda$-presentable.

The corollary follows immediately: as $A$ is cocomplete it has colimits of $\omega$-chains, and the forgetful functor $F$-coalg $\rightarrow A$ create colimits, so $F$-coalg is $\lambda$-accessible and cocomplete, hence $\lambda$-presentable.

We can immediately deduce that:

**Theorem:** If $F$ is a $\lambda$-accessible copointed endofunctor or comonad on a locally $\lambda$-presentable $A$, then:

- The category of $F$-coalgebras is locally $\lambda$-presentable.
- An $F$-coalgebra is $\lambda$-presentable if and only if its underlying object is $\lambda$-presentable.

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functors between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits. The category of $M$-coalgebras for a copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the equifier of $Id,v:U \rightrightarrows U$ where $U:M_0\text{-Coalg} \rightarrow C$ is the forgetful functor, and $v$ is the natural transformation which on each $M_0$-coalgebra $X$ is the composite $X \rightarrow M(X) \rightarrow X$.

When $M$ is a comonad this is a bit more complicated as we would like to take the equifier of the two natural transformation $X \rightrightarrows M_0^2(X)= M_0(M_0(X))$ corresponding to the two side of the usual square, but as $F^S$ is not a left adjoint functor we cannot directly conclude using 2-limits of diagrams of left adjoint functors.

Instead we consider the category:
$$E=\{X \in C, v_1,v_2:X \rightrightarrows M_0^2(X) \}$$

which is the category of coalgebra for the endofunctor:
$$ X \mapsto M_0^2(X) \times M_O(X)^2$$

which is indeed $\lambda$-accessible, so $E$ is locally $\lambda$-presentable and its $\lambda$-presentable objects are these whose underlying object $X$ is $\lambda$-presentable.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exactly the category of $M_0$-coalgebras compatible with the comultiplication of $M$. Both these functors clearly preserve all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctors we obtain the result.

I've included this material with a bit more details and other related results in appendix A of this paper.

Regarding relaxing the assumption that $\lambda$ is uncountable, Adámek and Porst show in their paper that the endofunctor:

$$ \mathcal{P}_f(X) = \{ F \subset X | F \text{ is finite} \} $$

as an endofunctor of the category of sets (with the direct image functoriality) is a counter example to the first theorem in the case $\lambda=\omega$. That is the category of $\mathcal{P}_f$ coalgebra is not finitely accessible. For the case of comonads, there seems to be a counter-example in the comments of the question.

7more comments