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.
