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:
“Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.”
—Vladimir Ilyich Lenin (1870–1924)