We refer the exposition [1]} to the notion of exact category, which is commonly attributed to Quillen. By [2]}, an additive category is weakly idempotent complete if every split monomorphism has a cokernel and every split epimorphism has a kernel. The following is immediate by the very definition.

Мы ссылаемся на экспозицию[1]} на понятие точной категории, которое обычно связывают с Квилленом. По[2]}, аддитивная категория является слабо идемпотентно полной, если у каждого разделяемого мономорфизма есть кодоминималь и у каждого разделяемого эпиморфизма есть ядро. Следующее немедленно следует из самого определения.