Категория добавок
- Аддитивная категория — категория, обогащенная по сравнению с моноидальной категорией.
- Категория C является предаддитивной, если все ее гомомножества являются абелевыми группами.
- Аддитивная категория эквивалентна предаддитивной категории, допускающей все конечные продукты.
- Полуаддитивная категория определяется как категория, имеющая все конечные бипродукты.
- Аддитивные R-линейные категории рассматриваются для коммутативного кольца R.
- Аддитивные категории могут быть определены как наиболее общий контекст, в котором алгебра матриц имеет смысл.
- Аддитивные функторы между предаддитивными категориями являются гомоморфизмами абелевой группы на каждом гомомножестве.
- Многие широко изучаемые аддитивные категории на самом деле являются абелевыми категориями.
Полный текст статьи: