Математическая энциклопедия




Математическая энциклопедия
АДДИТИВНАЯ КАТЕГОРИЯ -
АДДИТИВНАЯ КАТЕГОРИЯ

-категория С, в к-рой для любых двух объектов на множестве морфиз-мов определена структура абелевой группы таким образом, что композиция морфизмов


является билинейным отображением. Кроме того, требуется, чтобы в Ссуществовал нулевой объект (или нуль), а также произведение любых двух объектов

В А. к. существует прямая сумма любых двух объектов, к-рая изоморфна их произведению Двойственная категория к А. к. также является А. к.

Функтор F:. из А. к. С в А. к. наз. аддитивным, если для любых объектов Xи Yкатегории С отображение F: является гомоморфизмом соответствующих абелевых групп. А. к. наз. предабелевой, если для любого морфизма существует ядро и коядро.

Если для морфизма и: в А. к. существует образ и кообраз то определен единственный морфизм и: такой, что морфизм иразлагается в композицию


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

Лит.:[1] Букур И., Деляну А., Введение в теорию категорий и функторов, пер. с англ., М., 1972; [2] Гротендик А., О некоторых вопросах гомологической алгебры, пер. с франц., М., 1961; [3] Gruson L., "Bull. sci. math.", 1966, V. 90, №1, p. 17-40. И. В. Долгачев.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

МНОГОМЕСТНЫЙ ФУНКТОР МНОГОМЕСТНЫЙ ФУНКТОР мультифунктор,- функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий где каждая катего
ГРОТЕНДИКА ГРУППА ГРОТЕНДИКА ГРУППА аддитивной категории - абелева группа, сопоставляемая аддитивной категории универсальным аддитивным отображением. Точнее, пусть С - малая аддитивная категория и G - абелева группа. Отображение наз. аддитивным, если для любой точной последовательности объектов из Свыполняется

Заказать работу



наверх страницынаверх страницы на верх страницы





© Библиотека учебной и научной литературы, 2012-2016 Рейтинг@Mail.ru Яндекс цитирования