Let R be a commutative Noetherian ring and I be an ideal of R such that the R -modules H I i (M) are I -cofinite, for all finitely generated R -modules M and all i ∈ ℕ 0 . In this paper, we investigate a question of Hartshorne concerning the Abelianness of the category of all I -cofinite modules.