- Предаддитивная категория
-
В теории категорий категория называется предаддити́вной, если для любых объектов и множество имеет структуру абелевой группы по сложению, при этом композиция морфизмов билинейна:
Предаддитивную категорию иногда называют также -категорией[1].
Содержание
Примеры
- Категория абелевых групп .
- Категории левых R-модулей и правых R-модулей .
Связанные определения
- Функтор называется аддитивным, если каждое отображение является гомоморфизмом абелевых групп.
- Ab-cat - это категория всех малых -категорий, морфизмами в которой являются аддитивные функторы.
Литература
- ↑ С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4.
См. также
- Абелева категория
- Аддитивная категория
Категория:- Теория категорий
Wikimedia Foundation. 2010.