Pre-additieve categorie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de categorietheorie, een abstract deelgebied van de wiskunde, is een pre-additieve categorie een categorie, die is verrijkt over de monoïdale categorie van abelse groepen. Met andere woorden de categorie C is pre-additief als iedere hom-vergelijking Hom(A,B) in C de structuur van een abelse groep heeft, en de samenstelling van morfismen is bilineair over de gehele getallen.

Een pre-additieve categorie wordt ook wel een Ab-categorie genoemd. De notatie Ab staat voor de categorie van abelse groepen. Sommige auteurs hebben de term additieve categorie gebruikt voor pre-additieve categorieën.