En matemáticas una categoría abeliana es una categoría en la cual los morfismos tienen estructura de grupo abeliano, existen tanto núcleos y conúcleos y tienen propiedades deseables. El ejemplo usual de una categoría abeliana es la categoría de grupos abelianos Ab. La teoría tiene su origen como un intento de unificar varias teorías de cohomologia por Alexander Grothendieck. Las categorías abelianas son categorías muy estables, por ejemplo son regulares y satisfacen el lema de la serpiente. La clase de categorías abelianas es cerrada bajo varias construcciones categóricas, por ejemplo la categoría de complejos de cadenas de una categoría abeliana o la categoría de funtores de una categoría pequeña abeliana es una categoría abeliana, estas propiedades estables son inevitables en álgebra homológica, está teoría tiene sus mayores aplicaciones en geometría algebraica, cohomología y teoría de categorías.