Idempotent completion of n-angulated categories
arXiv:1701.04223
Abstract
We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.
7 pages