Una categoría abeliana se debe ser cerrada bajo ciertas operaciones categórico-teoréticas - usando esta clase de definición se puede enfocar enteramente en la estructura, sin decir nada sobre la naturaleza de los objetos involucrados.