Definition (Finitary). Given a category $C$ with filtered colimits, we say $F:C\to D$ is finitary if it preserves filtered colimits.