Category Theory And Homological Algebra

← Back to Domain-Specific Abstractions by Domain

3 domain-specific abstractions whose origin domain is Category Theory And Homological Algebra.

• Cokernel — The universal quotient of a morphism's codomain that makes the morphism vanish, realized for linear maps as codomain modulo image.
• Kernel (category theory) — The universal morphism into an object's domain that is annihilated by a given morphism, equivalently the equalizer of that morphism and zero in a category with zero morphisms.
• Pseudo-abelian category — A preadditive category in which every idempotent splits, equivalently every idempotent has an appropriate kernel and cokernel decomposition.