What is Pseudo-abelian category?

In mathematics, specifically in category theory, a pseudo-abelian category is a category that is preadditive and is such that every idempotent has a kernel. Recall that an idempotent morphism p {\displaystyle p} is an endomorphism of an object with the property that p ∘ p = p {\displaystyle p\circ p=p}. Elementary considerations show that every idempotent then has a cokernel. The pseudo-abelian condition is stronger than preadditivity, but it is weaker than the requirement that every morphism have a kernel and cokernel, as is true for abelian categories.

Synonyms in the literature for pseudo-abelian include pseudoabelian and Karoubian.