English

Idempotent completions of $n$-exangulated categories

Category Theory 2024-08-23 v4 Representation Theory

Abstract

Suppose (C,E,s)(\mathcal{C},\mathbb{E},\mathfrak{s}) is an nn-exangulated category. We show that the idempotent completion and the weak idempotent completion of C\mathcal{C} are again nn-exangulated categories. Furthermore, we also show that the canonical inclusion functor of C\mathcal{C} into its (resp. weak) idempotent completion is nn-exangulated and 22-universal among nn-exangulated functors from (C,E,s)(\mathcal{C},\mathbb{E},\mathfrak{s}) to (resp. weakly) idempotent complete nn-exangulated categories. Furthermore, we prove that if (C,E,s)(\mathcal{C},\mathbb{E},\mathfrak{s}) is nn-exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and (n+2)(n+2)-angulated cases. However, our constructions recover the known structures in the established cases up to nn-exangulated isomorphism of nn-exangulated categories.

Keywords

Cite

@article{arxiv.2207.04023,
  title  = {Idempotent completions of $n$-exangulated categories},
  author = {Carlo Klapproth and Dixy Msapato and Amit Shah},
  journal= {arXiv preprint arXiv:2207.04023},
  year   = {2024}
}

Comments

v4: 42 pages; Correction of typos; Changed statements concerning 2-universality; Added corollaries concerning idempotent completions of n-exact categories; Comments very welcome!