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.
Examples Any abelian category, in particular the category Ab of abelian groups, is pseudo-abelian. Indeed, in an abelian category, every morphism has a kernel. The category of rngs (not rings!) together with multiplicative morphisms is pseudo-abelian. A more complicated example is the category of Chow motives. The construction of Chow motives uses the pseudo-abelian completion described below.
Pseudo-abelian completion The Karoubi envelope construction associates to an arbitrary category C {\displaystyle C} a category Kar C {\displaystyle \operatorname {Kar} C} together with a functor
s : C → Kar C {\displaystyle s:C\to \operatorname {Kar} C}
such that the image s ( p ) {\displaystyle s(p)} of every idempotent p {\displaystyle p} in C {\displaystyle C} splits in Kar C {\displaystyle \operatorname {Kar} C} . When applied to a preadditive category C {\displaystyle C} , the Karoubi envelope construction yields a pseudo-abelian category Kar C {\displaystyle \operatorname {Kar} C}
called the pseudo-abelian completion or pseudo-abelian envelope of C {\displaystyle C} . Moreover, the functor
C → Kar C {\displaystyle C\to \operatorname {Kar} C}
is in fact an additive morphism. To be precise, given a preadditive category C {\displaystyle C} we construct a pseudo-abelian category Kar C {\displaystyle \operatorname {Kar} C} in the following way. The objects of Kar C {\displaystyle \operatorname {Kar} C} are pairs ( X , p ) {\displaystyle (X,p)} where X {\displaystyle X} is an object of C {\displaystyle C} and p {\displaystyle p} is an idempotent of X {\displaystyle X} . The morphisms
f : ( X , p ) → ( Y , q ) {\displaystyle f:(X,p)\to (Y,q)}
in Kar C {\displaystyle \operatorname {Kar} C} are those morphisms
f : X → Y {\displaystyle f:X\to Y}
such that f = q ∘ f = f ∘ p {\displaystyle f=q\circ f=f\circ p} in C {\displaystyle C} . The functor
C → Kar C {\displaystyle C\to \operatorname {Kar} C}
is given by taking X {\displaystyle X} to ( X , i d X ) {\displaystyle (X,\mathrm {id} _{X})} .
Citations
References Artin, Michael (1972). Alexandre Grothendieck; Jean-Louis Verdier (eds.). Séminaire de Géométrie Algébrique du Bois Marie - 1963-64 - Théorie des topos et cohomologie étale des schémas - (SGA 4) - vol. 1 (Lecture notes in mathematics 269) (in French). Berlin; New York: Springer-Verlag. xix+525.
