For a general theory, one does not need to have $lambda$-directed colimits for any $\lambda$. The simpliest example is formed by sets and the axiom $(\exists x,y)(x\neq y); idempotents do not split here.
Jiří Rosický
- 2.2k
- 1
- 17
- 16