Definition 6.3 (Has filtered colimits). We say $C$ has filtered colimits if every $D:J\to C$, where $J$ is small and filtered, has a colimit.