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 is an endomorphism of an object with the property that . 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.
Read more about Pseudo-abelian Category: Examples, Pseudo-abelian Completion
Famous quotes containing the word category:
“I see no reason for calling my work poetry except that there is no other category in which to put it.”
—Marianne Moore (18871972)