Suite exacteEn mathématiques, plus particulièrement en algèbre homologique, une suite exacte est une suite (finie ou infinie) d'objets et de morphismes entre ces objets telle que l' de l'un est égale au noyau du suivant. Dans le contexte de la théorie des groupes, on dit que la suite (finie ou infinie) de groupes et de morphismes de groupes est exacte si pour tout entier naturel n on a . Dans ce qui précède, sont des groupes et des morphismes de groupes avec . Dans la suite, 0 dénote le groupe trivial, qui est l'objet nul dans la catégorie des groupes.
Homological algebraHomological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of .
Category (mathematics)In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.
Module sur un anneauEn mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
Catégorie des groupes abéliensEn mathématiques, la catégorie des groupes abéliens est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes abéliens. La catégorie des groupes abéliens est la catégorie Ab définie ainsi : Les objets sont les groupes abéliens ; Les morphismes entre objets sont les morphismes de groupes. C'est donc une sous-catégorie pleine de la catégorie Grp des groupes. La catégorie des groupes abéliens s'identifie à la catégorie des modules sur : La catégorie Ab est monoïdale, et permet donc de définir une structure enrichie.
Faisceau (mathématiques)En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
Catégorie des groupesEn mathématiques, la catégorie des groupes est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes. La catégorie des groupes, notée Grp, est définie de la manière suivante : Ses objets sont les groupes ; Les morphismes sont les morphismes de groupes, munis de la composition usuelle de fonctions, l'identité étant l'application identité. En théorie des catégories supérieures il est parfois pratique de voir les groupes comme des groupoïdes possédant un unique objet, les flèches de cet unique objet vers lui-même étant dénotées par les éléments du groupe lui-même.
Preadditive categoryIn 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).
ÉpimorphismeEn mathématiques, le terme « épimorphisme » peut avoir deux sens. 1) En théorie des catégories, un épimorphisme (aussi appelé epi) est un morphisme f : X → Y qui est simplifiable à droite de la manière suivante: g1 o f = g2 o f implique g1 = g2 pour tout morphisme g1, g2 : Y → Z. Suivant ce diagramme, on peut voir les épimorphismes comme des analogues aux fonctions surjectives, bien que ce ne soit pas exactement la même chose. Le dual d'un épimorphisme est un monomorphisme (c'est-à-dire qu'un épimorphisme dans une catégorie C est un monomorphisme dans la catégorie duale Cop).
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
ConoyauEn mathématiques, le conoyau d'un morphisme f : X → Y (par exemple un homomorphisme entre groupes ou bien un opérateur borné entre espaces de Hilbert) est la donnée d'un objet Q et d'un morphisme q : Y → Q tel que le morphisme composé soit le morphisme nul, et de plus Q est, en un certain sens, le plus "gros" objet possédant cette propriété. Souvent l'application q est sous-entendue, et Q est lui-même appelé conoyau de f. Les conoyaux sont les duaux des noyaux des catégories, d'où le nom.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
Lemme de YonedaEn théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet).
Site (mathématiques)En théorie des catégories, une branche des mathématiques, une topologie de Grothendieck est une structure sur une catégorie permettant de voir certains objets de comme les ensembles ouverts d'un espace topologique. Une catégorie munie d'une topologie de Grothendieck est appelée un site. Une topologie de Grothendieck axiomatise la notion de recouvrement d'un espace topologique par des ouverts. Cela permet de généraliser la définition de faisceaux, et leur cohomologie, à un site quelconque.
Noyau (théorie des catégories)La théorie des catégories est une théorie unificatrice des Mathématiques. La notion de noyau est une notion centrale en algèbre. Ici, le concept de noyau est un concept général applicable à de nombreuses branches des mathématiques abstraites. Considérons dans une catégorie deux flèches et de même source et de même but . Une flèche de but est dite noyau ou égalisateur du couple si elle vérifie les deux propriétés suivantes : (1) On a uk=vk (2) Pour toute flèche telle que l'on ait , il existe une flèche unique telle que .
CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
SubcategoryIn mathematics, specifically , a subcategory of a C is a category S whose are objects in C and whose morphisms are morphisms in C with the same identities and composition of morphisms. Intuitively, a subcategory of C is a category obtained from C by "removing" some of its objects and arrows. Let C be a category. A subcategory S of C is given by a subcollection of objects of C, denoted ob(S), a subcollection of morphisms of C, denoted hom(S).
Équivalence de catégoriesEn mathématiques, plus précisément en théorie des catégories, une équivalence de catégories est une relation qui établit que deux catégories sont "essentiellement les mêmes". C'est un foncteur entre les deux catégories, qui prend compte formellement du fait que ces catégories relèvent d'une même structure : on dit alors que les catégories sont équivalentes. À la différence de la notion d'isomorphisme de catégories, la notion d'équivalence est moins rigide, plus pratique et plus courante.
Catégorie des ensemblesEn mathématiques, plus précisément en théorie des catégories, la catégorie des ensembles, notée Set ou Ens, est la catégorie dont les objets sont les ensembles, et dont les morphismes sont les applications d'un ensemble dans un autre. Sa définition est motivée par le fait qu'en théorie des ensembles usuelle, il n'existe pas d'« ensemble de tous les ensembles », car l'existence d'un tel objet résulterait en une contradiction logique : le paradoxe de Russell.
