Коядро —
Морфизма категории — понятие, двойственное понятию ядра морфизма. В категориях векторных пространств, групп, колец и т. п. оно описывает наибольший факторобъект объекта В, аннулирующий образ гомоморфизма Пусть — категория с нулевыми морфизмами.
Математическая энциклопедия