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:
“The truth is, no matter how trying they become, babies two and under dont have the ability to make moral choices, so they cant be bad. That category only exists in the adult mind.”
—Anne Cassidy (20th century)