Epimorphisme
- Epimorphisme
-
Épimorphisme
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).
En algèbre abstraite et en algèbre universelle, plusieurs définissent un épimorphisme simplement comme étant un homomorphisme surjectif. Tout épimorphisme, de ce point de vue, est un épimorphisme au sens de la théorie des catégories, mais l'inverse n'est pas vrai dans toutes les catégories.
Source
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Epimorphism ».
Bibliographie
- Adámek, Jiří, Herrlich, Horst, & Strecker, George E. (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition)
- Bergman, George M. (1998), An Invitation to General Algebra and Universal Constructions, Harry Helson Publisher, Berkeley. ISBN 0-9655211-4-1.
- Linderholm, Carl (1970). A Group Epimorphism is Surjective. American Mathematical Monthly 77, pp. 176–177. Proof summarized by Arturo Magidin in [1].
Portail des mathématiques
Catégorie : Théorie des catégories
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Epimorphisme de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
épimorphisme — ● épimorphisme nom masculin Homomorphisme surjectif … Encyclopédie Universelle
Épimorphisme — 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.… … Wikipédia en Français
Catégorie (mathématiques) — Théorie des catégories La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique… … Wikipédia en Français
Theorie des categories — Théorie des catégories La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique… … Wikipédia en Français
Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… … Wikipédia en Français
Monomorphisme — Dans le cadre de l algèbre générale ou de l algèbre universelle, un monomorphisme est simplement un homomorphisme injectif. Dans le cadre plus général de la théorie des catégories, un monomorphisme (aussi appelé mono) est un morphisme… … Wikipédia en Français
Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… … Wikipédia en Français
Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… … Wikipédia en Français
Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces … Wikipédia en Français
Conoyau — En 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é… … Wikipédia en Français
