In the following, we work with additive categories.

We say that a category is weakly idempotent complete if all the epimorphisms wich admit a section have kernel. It's equivalent to the dual statement : all the monomorphisms wich admit a retract have cokernel.

A stronger notion is the notion of idempotent complete. A category is idempotent complete if each morphism $f:A \rightarrow A | f²=f$ has a kernel or equivalentely a cokernel.
As suggests by the name of these notions, an idempotente complete category is weakly idempotent.

We know that an abelian category is idempotent complete.

We have the following examples :

• We consider the category $K_{vect} ^{ ^{\ge n}}$ of vector spaces over a field $K$ with no non-nul vertor space of smaller dimension than $n$. Then $K_{vect} ^{\ge n}$ is not weakly idempotent complete since the trivial projection $K^{n+1} \twoheadrightarrow K^n$ has a section but no kernel.

• We consider the category $K_{vect} ^ {^{\equiv 0 [2]}}$ of vector spaces over a field $K$ with pair dimension or infinite dimension. Then $K_{vect} ^ {^{\equiv 0 [2]}}$ is weakly idempotent complete. But it's not idempotent complte since the projector $K^{2} \stackrel{\begin{pmatrix}Id & 0 \\ 0 & 0\end{pmatrix}}{\rightarrow} K^2$ has no kernel or cokernel.

So this is the question :

Is somenone knows an example of an idempotent complete category wich is not abelian ?

(here we don't need to have the *Grothendieck's axioms*)

Thanks you,
Timothée