context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from X to Y is often denoted with the notation...

normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which every monomorphism is...

morphism f : X → Y is called a monomorphism if f ∘ g1 = f ∘ g2 implies g1 = g2 for all morphisms g1, g2 : Z → X. A monomorphism can be called a mono for short...

split monomorphism is always a monomorphism, for both meanings of monomorphism. For sets and vector spaces, every monomorphism is a split monomorphism, but...

sexual selection and natural selection. The opposite of dimorphism is monomorphism, when both biological sexes are phenotypically indistinguishable from...

homomorphism is also called a monomorphism. However, in the more general context of category theory, the definition of a monomorphism differs from that of an...

Injective ring homomorphisms are identical to monomorphisms in the category of rings: If f : R → S is a monomorphism that is not injective, then it sends some...

monomorphism is a monomorphism i in an abelian category C such that for a morphism f in C, the composition f i {\displaystyle fi} is a monomorphism only...

exists a monomorphism from X to an injective object. A monomorphism g in C {\displaystyle \mathbf {C} } is called an essential monomorphism if for any...

{\displaystyle f} is a retraction of g {\displaystyle g} . Every section is a monomorphism (every morphism with a left inverse is left-cancellative), and every...