Коядро
морфизма категории - понятие, двойственное понятию ядра морфизма. В категориях векторных пространств, групп, колец и т. П. Оно описывает наибольший факторобъект объекта В, аннулирующий образ гомоморфизма Пусть - категория с нулевыми морфизмами. Морфизм наз. Коядром морфизма если и всякий морфизм для к-рого однозначно представим в виде К. Морфизма обозначается Если для единственного изоморфизма Обратно, если - изоморфизм, то есть К. Морфизма а. Таким образом, все К. Морфизма а образуют факторобъект объекта В, к-рый обозначается Если то v - нормальный эпиморфизм. Обратное, вообще говоря, неверно. К. Нулевого морфизма равно К. Единичного морфизма 1A существует тогда и только тогда, когда в имеется нулевой объект.
В категории с нулевым объектом морфизм обладает К. В том и только в том случае, когда в существует коуниверсальный квадрат относительно морфизмов Это условие выполнено, в частности, для любого морфизма локально малой справа категории с нулевым объектом и произведениями. М. Ш. Цаленко.
Дополнительный поиск Коядро
На нашем сайте Вы найдете значение "Коядро" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Коядро, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 6 символа