Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 3
Два ЗК - подобъекта эквивалентны, если они содержат нек-рый ЗГ-подобъект. Множество 11 %, , ( А, В) состоит, по определению, из классов эквивалентных ЗГ-подобъектов прямой суммы AQ) B. Эта факторкатегория оказывается абелевой категорией. Точный функтор Т: 9 ( - - ЭДУЗГ можно задать, сопоставляя каждому морфизму а: А - - В его график в А В.