City Research Online

Abstract

Building on previous work, we study the splitting of idempotents in the category of extensions E-Ext(C) associated to a pair (C, E) of an additive category and a biadditive functor to the category of abelian groups. In particular, we show that idempotents split in E-Ext(C) whenever they do so in C, allowing us to prove that idempotent completions and extension categories are compatible constructions in a 2-category-theoretic sense. Furthermore, we show that the exact category obtained by first taking the idempotent completion of an n-exangulated category (C, E, s), in the sense of Klapproth–Msapato–Shah, and then considering its category of extensions is equivalent to the exact category obtained by first passing to the extension category and then taking the idempotent completion. These two different approaches yield a pair of 2-functors each taking small n-exangulated categories to small idempotent complete exact categories. The collection of equivalences that we provide constitutes a 2-natural transformation between these 2-functors. Similar results with no smallness assumptions and regarding weak idempotent completions are also proved.

Publication Type:	Article
Additional Information:	This article has been published in its final form in Theory and Applications of Categories and it's available online at: http://www.tac.mta.ca/tac/volumes/41/33/41-33abs.html
Publisher Keywords:	Category of extensions, additive category, biadditive functor, exact category, idempotent completion, n-exangulated category, n-exangulated functor, n-exangulated natural transformation, 2-category, 2-functor
Subjects:	Q Science > QA Mathematics
Departments:	School of Science & Technology School of Science & Technology > Department of Mathematics
SWORD Depositor:	Symplectic Administrator

Export

Downloads