English

Exactness of limits and colimits in abelian categories revisited

Category Theory 2022-03-30 v1 Representation Theory

Abstract

Let Σ\Sigma be a small category and A\mathcal{A} be a Σ\Sigma-co-complete (resp. Σ\Sigma-complete) abelian category. It is a well-known fact that the category Fun(Σ,A)\operatorname{Fun}(\Sigma,\mathcal{A}) of functors of Σ\Sigma in A\mathcal{A} is an abelian category, and that the functor colimΣ():Fun(Σ,A)A\mathsf{colim}_\Sigma(-):\operatorname{Fun}(\Sigma,\mathcal{A})\rightarrow\mathcal{A} (resp. limΣ():Fun(Σ,A)A\mathsf{lim}_{\Sigma}(-):\operatorname{Fun}(\Sigma,\mathcal{A})\rightarrow\mathcal{A}) is left (resp. right) adjoint to κΣ:AFun(Σ,A)\kappa^{\Sigma}:\mathcal{A}\rightarrow\operatorname{Fun}(\Sigma,\mathcal{A}), where κΣ\kappa^{\Sigma} is the associated constant diagram functor. In this paper we will show that the functor colimΣ()\mathsf{colim}_\Sigma(-) (resp. limΣ()\mathsf{lim}_{\Sigma}(-)) is exact if and only if the pair of functors (colimΣ(),κΣ)\left(\mathsf{colim}_\Sigma(-),\kappa^{\Sigma}\right) (resp. (κΣ,limΣ())\left(\kappa^{\Sigma},\mathsf{lim}_{\Sigma}(-)\right)) is Ext-adjoint. As an application of our findings, we will give new proofs of known results on the exactness of limits and colimits in abelian categories.

Keywords

Cite

@article{arxiv.2203.15096,
  title  = {Exactness of limits and colimits in abelian categories revisited},
  author = {A. Argudín-Monroy and C. E. Parra},
  journal= {arXiv preprint arXiv:2203.15096},
  year   = {2022}
}

Comments

13 pages