English

The Yoneda Ext and arbitrary coproducts in abelian categories

Category Theory 2020-09-10 v2

Abstract

There are well known identities that involve the Ext bifunctor, coproducts, and products in Ab4 and Ab4* abelian categories with enough projectives and enough injectives. Namely, for every such category A\mathcal{A}, the isomorphisms Extn(iIAi,X)iIExtn(Ai,X)\operatorname{Ext}^n (\bigoplus_{i\in I}A_{i},X) \cong \prod_{i\in I} \operatorname{Ext}^n(A_{i},X) and Extn(X,iIAi)iIExtn(X,Ai)\operatorname{Ext}^n (X,\prod_{i\in I}A_{i}) \cong \prod_{i\in I}\operatorname{Ext}^n (X,A_{i}) always exist. The goal of this paper is to show similar isomorphisms for the Yoneda Ext in Ab4 and Ab4* abelian categories with not necessarily enough projectives nor injectives. The desired isomorphisms are constructed explicitely by using limits and colimits.

Keywords

Cite

@article{arxiv.1904.12182,
  title  = {The Yoneda Ext and arbitrary coproducts in abelian categories},
  author = {Alejandro Argudín Monroy},
  journal= {arXiv preprint arXiv:1904.12182},
  year   = {2020}
}

Comments

20 pages