Concept
Coequalizer
Concepts associés (16)
Catégorie des espaces topologiques
En mathématiques, la catégorie des espaces topologiques est une construction qui rend compte abstraitement des propriétés générales observées dans l'étude des espaces topologiques. Ce n'est pas la seule catégorie qui possède les espaces topologiques comme objet, et ses propriétés générales sont trop faibles ; cela motive la recherche de « meilleures » catégories d'espaces. C'est un exemple de catégorie topologique.
Diagramme (théorie des catégories)
En théorie des catégories, un diagramme est une collection d'objets et de flèches d'une catégorie donnée. En principe, un diagramme n'est pas un objet mathématique mais seulement une figure, destinée à faciliter la lecture d'un raisonnement. En pratique, on se sert souvent des diagrammes comme de symboles abréviateurs, qui évitent de nommer tous les objets et les flèches que l'on veut considérer; on dit souvent que "considérons le diagramme ci-dessus" au lieu de dire par exemple dans la catégorie des ensembles: "considérons quatre ensembles et une application de dans .
Catégorie complète
En mathématiques, une catégorie complète est une catégorie dans laquelle toutes les petites limites existent. Autrement dit, une catégorie C est complète si tout diagramme F : J → C (où J est petite) a une limite dans C. Duallement, une catégorie cocomplète est une catégorie dans laquelle toutes les petites colimites existent. Une catégorie bicomplète est une catégorie à la fois complète et cocomplète. L'existence de toutes les limites (même lorsque J est une classe propre) est trop forte pour être pertinente en pratique.
Catégorie des groupes
En 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.
Catégorie des anneaux
En mathématiques, la catégorie des anneaux est une construction qui rend compte abstraitement des propriétés des anneaux en algèbre. Dans ce contexte, « anneau » signifie toujours anneau unitaire. La catégorie des anneaux, notée Ring, est la catégorie définie ainsi : Les objets sont les anneaux ; Les morphismes sont les morphismes d'anneaux, avec la composition usuelle, et l'identité est la fonction identité sur un anneau donné. La sous-catégorie pleine de Ring, dont les objets sont les anneaux commutatifs, forme la catégorie des anneaux commutatifs, notée CRing.
Topos (mathématiques)
En mathématiques, un topos (au pluriel topos ou topoï) est un type particulier de catégorie. La théorie des topoï est polyvalente et est utilisée dans des domaines aussi variés que la logique, la topologie ou la géométrie algébrique. Un topos peut être défini comme une catégorie pourvue : de limites et colimites finies ; d'exponentielles ; d'un . D'autres définitions équivalentes sont données plus bas.
Preadditive category
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).
Épimorphisme
En 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).
Égaliseur (mathématiques)
L’égaliseur est une construction catégorique associée à deux morphismes parallèles, qui généralise en un certain sens la notion de noyau en algèbre. La construction duale, le coégaliseur peut s'interpréter comme une généralisation catégorique de la notion de quotient par une relation d'équivalence. On trouve parfois la variante égalisateur. Soit C une catégorie et deux objets X et Y de cette catégorie. Soient deux morphismes parallèles f et g entre ces objets : On dit qu'une flèche égalise la paire lorsque les morphismes composés coïncident.
Foncteur adjoint
L'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 ».