Monomorphisme

Carte Commune · n° 495858

Dans le cadre de l'algèbre générale ou de l'algèbre universelle, un monomorphisme est simplement un morphisme injectif. Dans le cadre plus général de la théorie des catégories, un monomorphisme est un morphisme simplifiable à gauche, c'est-à-dire un morphisme f : X → Y {\displaystyle f\colon X\to Y} tel que pour tout Z {\displaystyle Z} , ∀ g 1 , g 2 : Z → X ( f ∘ g 1 = f ∘ g 2 ⇒...