Аддитивная Категория
-категория С, в к-рой для любых двух объектов на множестве морфиз-мов определена структура абелевой группы таким образом, что композиция морфизмов является билинейным отображением. Кроме того, требуется, чтобы в Ссуществовал нулевой объект (или нуль), а также произведение любых двух объектов В А. К. Существует прямая сумма любых двух объектов, к-рая изоморфна их произведению Двойственная категория к А. К. Также является А. К. Функтор F. Из А. К. С в А. К. наз. Аддитивным, если для любых объектов Xи Yкатегории С отображение F. Является гомоморфизмом соответствующих абелевых групп. А. К. Наз. Предабелевой, если для любого морфизма существует ядро и коядро. Если для морфизма и. В А. К. Существует образ и кообраз то определен единственный морфизм и.
Такой, что морфизм иразлагается в композицию Каждая абелева категория по определению аддитивна. Примерами аддитивных неабелевых категорий могут служить категория топологич. Модулей над заданным топологич. Кольцом относительно морфизмов, являющихся непрерывными линейными отображениями, а также категория абелевых групп с фильтрацией Г относительно морфизмов, являющихся гомоморфизмами групп, сохраняющими фильтрацию. Лит.:[1] Букур И., Деляну А., Введение в теорию категорий и функторов, пер. С англ., М., 1972. [2] Гротендик А., О некоторых вопросах гомологической алгебры, пер. С франц., М., 1961. [3] Gruson L., "Bull. Sci. Math.", 1966, V. 90, №1, p. 17-40. И. В. Долгачев.
Дополнительный поиск Аддитивная Категория
На нашем сайте Вы найдете значение "Аддитивная Категория" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Аддитивная Категория, различные варианты толкований, скрытый смысл.
Первая буква "А". Общая длина 20 символа