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

生成讲解博客的中文版本

生成AI智能校验的中文版本