Abstract:We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and representation theory techniques to understand higher homological algebra. As an application, we present two possible generalizations of the axioms "every monomorphism is a kernel" and "every epimorphism is a cokernel" of an abelian category to $n$-abelian categories. We also specialize our results to modules over rings, thereby describing when the category of finitely generated projective modules over a ring is $n$-abelian. Moreover, we establish a correspondence for $n$-abelian categories with additive generators, which extends the higher Auslander correspondence.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study \(n\)-abelian categories through the functor method. Specifically, the author tries to reformulate the axioms of \(n\)-abelian categories into the properties of the category of finitely presented functors, so as to use the techniques of classical homological algebra and representation theory to understand higher - order homological algebra. The main objectives include:
1. **Develop the functor method**: Study \(n\)-abelian categories through the functor method, and reformulate the axioms of \(n\)-abelian categories into the properties of their category of finitely presented functors.
2. **Generalize the axioms of abelian categories**: Propose two possible generalizations, that is, generalize the axioms in abelian categories "every monomorphism is a kernel" and "every epimorphism is a cokernel" to \(n\)-abelian categories.
3. **Describe \(n\)-abelian categories under specific conditions**: In particular, describe the conditions when the category of finitely generated projective modules over a ring is an \(n\)-abelian category, and establish the correspondence of \(n\)-abelian categories with additive generators, extending the higher - order Auslander correspondence.
4. **Apply the functor method**: Study von Neumann regular categories through the functor method, and give an alternative proof about von Neumann regular categories.
5. **Explore double - dual sequences**: Study the double - dual sequences of finitely presented functors and their properties, which play a crucial role in the proof of subsequent results.
6. **Study categories with enough injective or projective objects**: Characterize \(n\)-abelian categories with enough injective or projective objects through the functor method, and describe their global dimension and dominant dimension.
7. **Discuss tensor products and global dimension**: Introduce the tensor product of finitely presented functors, and prove that the global dimensions of their covariant and contravariant functor categories are equal.
### Main contributions
- **Development of the functor method**: Through the functor method, the study of \(n\)-abelian categories is transformed into problems in classical homological algebra and representation theory, providing new perspectives and tools.
- **Generalization of axioms**: Two possible generalizations are proposed, generalizing the axioms of abelian categories to \(n\)-abelian categories, enriching the theoretical framework of \(n\)-abelian categories.
- **Description of specific conditions**: The specific conditions when the category of finitely generated projective modules over a ring is an \(n\)-abelian category are described in detail, and the corresponding correspondence is established.
- **Proof of new results**: Through the functor method, an alternative proof of von Neumann regular categories is given, and the properties of double - dual sequences and their applications in \(n\)-abelian categories are explored.
### Conclusion
This paper systematically studies \(n\)-abelian categories through the functor method, which not only provides new tools and methods for the study of higher - order homological algebra, but also enriches the theoretical system of \(n\)-abelian categories, laying the foundation for further research in related fields.