In the 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 {\displaystyle X\hookrightarrow Y}. In the more general setting of category theory, a monomorphism is a left-cancellative morphism.

What is monomorphism in biology?

monomorphic –> monomorphous. (Science: biology) Having but a single form; retaining the same form throughout the various stages of development; of the same or of an essentially similar type of structure; opposed to dimorphic, trimorphic, and polymorphic.

What is monomorphism with example?

For example, in the category Group of all groups and group morphisms among them, if H is a subgroup of G then the inclusion f : H → G is always a monomorphism; but f has a left inverse in the category if and only if H has a normal complement in G.