词典释义：
， 使均等
一分
，追加
;
，决定
;
子，目标;
，攻击
;
进球[得分]
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.
Motivation et définition
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.
Il y a, potentiellement, de multiples façons d'égaliser une paire. L'égaliseur le fait d'une manière universelle, au sens où toute autre solution se factorise de manière unique par lui.
Pour une paire de morphismes parallèles f, g, un égaliseur est une flèche 
qui égalise la paire et telle que, pour toute flèche 
qui égalise la paire, il existe une unique flèche 
telle que 
. Autrement dit, on a le diagramme suivant :
-
.
Une autre manière de dire cela est que l'égaliseur est la limite du diagramme .
On construit le coégaliseur en renvsersant le sens des flèches dans le diagramme, ou bien comme colimite de , ou encore comme un égaliseur dans la catégorie duale 
.
Exemples
Dans la catégorie Set des ensembles, on a et l'injection est un égaliseur.
Dans la catégorie R-Mod des modules sur un anneau R, on a et l'inclusion est encore un égaliseur.
Dans une catégorie possédant un objet zéro (c'est-à-dire possédant un objet à la fois initial et terminal), l'égaliseur d'un morphisme et du morphisme zéro définit le noyau au sens des catégories (en) : .
Réciproquement, dans une catégorie préadditive, tout égaliseur est obtenu comme un certain noyau.
Propriétés
Tout égaliseur est un monomorphisme.
Tout produit fibré se décompose comme la composition d'un produit suivi d'un égaliseur. Si une catégorie a des produits fibrés et des produits, alors elle a des égaliseurs.
Si une catégorie admet tous les produits (resp. coproduits) finis et tous les égaliseurs (resp. coégaliseurs), alors elle admet toutes les limites (resp. colimites) finies.
Référence
(en) Saunders Mac Lane, Categories for the Working Mathematician [détail de l’édition]
Portail des mathématiques