Monomorphism

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 . In the more general setting of , a monomorphism (also called a monic morphism or a mono) is a left-cancellative morphism. That is, an arrow f : X → Y such that for all objects Z and all morphisms g1, g2: Z → X, Monomorphisms are a categorical generalization of injective functions (also called "one-to-one functions"); in some categories the notions coincide, but monomorphisms are more general, as in the examples below. In the setting of posets intersections are idempotent: the intersection of anything with itself is itself. Monomorphisms generalize this property to arbitrary categories. A morphism is a monomorphism if it is idempotent with respect to . The categorical dual of a monomorphism is an epimorphism, that is, a monomorphism in a category C is an epimorphism in the Cop. Every is a monomorphism, and every is an epimorphism. Left-invertible morphisms are necessarily monic: if l is a left inverse for f (meaning l is a morphism and ), then f is monic, as A left-invertible morphism is called a or a section. However, a monomorphism need not be left-invertible. For example, in the category Group of all groups and group homomorphisms 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. A morphism f : X → Y is monic if and only if the induced map f∗ : Hom(Z, X) → Hom(Z, Y), defined by f∗(h) = f ∘ h for all morphisms h : Z → X, is injective for all objects Z. Every morphism in a whose underlying function is injective is a monomorphism; in other words, if morphisms are actually functions between sets, then any morphism which is a one-to-one function will necessarily be a monomorphism in the categorical sense. In the the converse also holds, so the monomorphisms are exactly the injective morphisms.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (47)

Related courses (1)

Related lectures (12)

MATH-688: Reading group in applied topology I

The subject of this reading group is Ginerstra Bianconi's book "Higher-order networks - an introduction to simplicial complexes". Participants will take turns presenting chapters, then leading a discu

Morphism

In mathematics, particularly in , a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear algebra, linear transformations; in group theory, group homomorphisms; in analysis and topology, continuous functions, and so on.

Monomorphism

Function (mathematics)

In mathematics, a function from a set X to a set Y assigns to each element of X exactly one element of Y. The set X is called the domain of the function and the set Y is called the codomain of the function. Functions were originally the idealization of how a varying quantity depends on another quantity. For example, the position of a planet is a function of time. Historically, the concept was elaborated with the infinitesimal calculus at the end of the 17th century, and, until the 19th century, the functions that were considered were differentiable (that is, they had a high degree of regularity).

Free Product: Group Theory MATH-225: Topology

Covers the concept of the free product in group theory and how to determine monomorphisms and homomorphisms.

Injective Morphisms in Mathematics MATH-110(a): Advanced linear algebra I

Introduces injective morphisms and vector spaces with examples and verification methods.

Homotopy Lifting MATH-225: Topology

Explains homotopy lifting, paths, proofs, constant paths, discrete spaces, and monomorphisms.