Cтраница 4
По теореме 4.3 является категорией со свободными произведениями. Существование коядер пар морфизмов устанавливается также, как в доказательстве теоремы 4.2 устанавливалось сущеат-вование ядер и коядер морфиэмов. Поэтому в категории ( & выполнены условия теоремы 6.4, из которой и вытекает полнота справа этой категории. [46]