Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Preadditive category
Résumé
In mathematics, specifically in , a preadditive category is
another name for an Ab-category, i.e., a that is over the , Ab.
That is, an Ab-category C is a such that
every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear, in the sense that composition of morphisms distributes over the group operation.
In formulas:
and
where + is the group operation.
Some authors have used the term additive category for preadditive categories, but here we follow the current trend of reserving this term for certain special preadditive categories (see below).
The most obvious example of a preadditive category is the category Ab itself. More precisely, Ab is a . Note that commutativity is crucial here; it ensures that the sum of two group homomorphisms is again a homomorphism. In contrast, the category of all groups is not closed. See .
Other common examples:
The category of (left) modules over a ring R, in particular:
the over a field K.
The algebra of matrices over a ring, thought of as a category as described in the article .
Any ring, thought of as a category with only one object, is a preadditive category. Here composition of morphisms is just ring multiplication and the unique hom-set is the underlying abelian group.
These will give you an idea of what to think of; for more examples, follow the links to below.
Because every hom-set Hom(A,B) is an abelian group, it has a zero element 0. This is the zero morphism from A to B. Because composition of morphisms is bilinear, the composition of a zero morphism and any other morphism (on either side) must be another zero morphism. If you think of composition as analogous to multiplication, then this says that multiplication by zero always results in a product of zero, which is a familiar intuition. Extending this analogy, the fact that composition is bilinear in general becomes the distributivity of multiplication over addition.
Focusing on a single object A in a preadditive category, these facts say that the endomorphism hom-set Hom(A,A) is a ring, if we define multiplication in the ring to be composition.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.