коуниверсальный
1ДЕКАРТОВ КВАДРАТ — коуниверсальный квадрат (в категории) диаграмма Здесь расслоенное произведение объектов А и В, ассоциированное со схемой a p а и Р в канонические проекции. Диаграмма является Д. к. тогда и только тогда, когда она коммутативна и для всякой пары… …
2КОЯДРО — морфизма категории понятие, двойственное понятию ядра морфизма. В категориях векторных пространств, групп, колец и т. п. оно описывает наибольший факторобъект объекта В, аннулирующий образ гомоморфизма Пусть категория с нулевыми морфизмами.… …
3Предел (теория категорий) — У этого термина существуют и другие значения, см. Предел. В теории категорий предел диаграммы  это конструкция, обобщающая многие универсальные диаграммы самой теории категорий. Примеры Уравнитель Произведение Коуниверсальный квадрат… …
4Уравнитель (математика) — В теории категорий уравнитель (ядро разности) морфизмов  это обобщение понятия решения некоторого (алгебраического, дифференциального и т. п.) уравнения, то есть множества, на котором данные отображения совпадают. Содержание 1… …
