Every zero morphism can be factored through 1, i. e., f : G → 1 → H. More generally, suppose C is any category with a zero object 0.
Каждый нулевой морфизм проносится через 1, то есть f : G → 1 → H. Более общо, пусть C — категория с нулевым объектом 0.