1: \begin{abstract}

2:   A simple criterion for a functor to be finitary is presented: we call $F$

3:   finitely bounded if for all objects $X$ every finitely generated subobject of

4:   $FX$ factorizes through the $F$-image of a finitely generated subobject of

5:   $X$. This is equivalent to $F$ being finitary for all functors between

6:   `reasonable' locally finitely presentable categories, provided that $F$

7:   preserves monomorphisms. We also discuss the question when that last

8:   assumption can be dropped.

9:   The answer is affirmative for functors between categories such as Set,

10:   K-Vec (vector spaces), boolean algebras, and actions of any finite group

11:   either on Set or on K-Vec for fields K of characteristic 0.

12: 

13:   All this generalizes to locally $\lambda$-presentable categories,

14:   $\lambda$-accessible functors and $\lambda$-presentable algebras. As

15:   an application we obtain an easy proof that the Hausdorff functor on

16:   the category of complete metric spaces is $\aleph_1$-accessible.

17: \end{abstract}

18: