Википедия
Коядро (теория категорий)
В теории категорий коядро — это понятие, двойственное к ядру — ядро является подобъектом прообраза, а коядро — факторобъектом образа. Интуитивно, при поиске решения уравнения f(x) = y коядро определяет число ограничений, которым должен удовлетворять y, чтобы данное уравнение имело решение.