Citizendia
Your Ad Here

In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X → Y which is right-cancellative in the following sense:

g1 o f = g2 o f implies g1 = g2 for all morphisms g1, g2 : Y → Z. In Mathematics, category theory deals in an abstract way with mathematical Structures and relationships between them it abstracts from sets In Mathematics, a morphism is an abstraction derived from structure-preserving mappings between two Mathematical structures The study of morphisms and In Mathematics, the notion of cancellative is a generalization of the notion of Invertible.
Image:Epimorphism-01.png

Epimorphisms are analogues of surjective functions, but they are not exactly the same. In Mathematics, a function f is said to be surjective or onto, if its values span its whole Codomain; that is for every The dual of an epimorphism is a monomorphism (i. In Category theory, an abstract branch of Mathematics, the dual category or opposite category C op of a category C is the In the context of Abstract algebra or Universal algebra, a monomorphism is simply an Injective Homomorphism. e. an epimorphism in a category C is a monomorphism in the dual category Cop).

Many authors in abstract algebra and universal algebra define an epimorphism simply as an onto or surjective homomorphism. Abstract algebra is the subject area of Mathematics that studies Algebraic structures such as groups, rings, fields, modules Universal algebra (sometimes called general algebra) is the field of Mathematics that studies Algebraic structures themselves not examples ("models" In Mathematics, a function f is said to be surjective or onto, if its values span its whole Codomain; that is for every In Abstract algebra, a homomorphism is a structure-preserving map between two Algebraic structures (such as groups rings or Vector Every epimorphism in this algebraic sense is an epimorphism in the sense of category theory, but the converse is not true in all categories. In this article, the term "epimorphism" will be used in the sense of category theory given above. For more on this, see the section on Terminology below.

Contents

Examples

Every morphism in a concrete category whose underlying function is surjective is an epimorphism. In Mathematics, a concrete category is commonly understood as a category whose objects are structured sets, whose Morphisms are structure-preserving The Mathematical concept of a function expresses dependence between two quantities one of which is given (the independent variable, argument of the function In Mathematics, a function f is said to be surjective or onto, if its values span its whole Codomain; that is for every In many concrete categories of interest the converse is also true. For example, in the following categories, the epimorphisms are exactly those morphisms which are surjective on the underlying sets:

However there are also many concrete categories of interest where epimorphisms fail to be surjective. A few examples are:

The above differs from the case of monomorphisms where it is more frequently true that monomorphisms are precisely those whose underlying functions are injective.

As to examples of epimorphisms in non-concrete categories:

Properties

Every isomorphism is an epimorphism; indeed only a right-sided inverse is needed: if there exists a morphism j : Y → X such that fj = idY, then f is easily seen to be an epimorphism. In Abstract algebra, an isomorphism ( Greek: ἴσος isos "equal" and μορφή morphe "shape" is a bijective A map with such a right-sided inverse is called a split epi. In Category theory, a branch of Mathematics, a section is a right inverse of a morphism

The composition of two epimorphisms is again an epimorphism. If the composition fg of two morphisms is an epimorphism, then f must be an epimorphism.

As some of the above examples show, the property of being an epimorphism is not determined by the morphism alone, but also by the category of context. If D is a subcategory of C, then every morphism in D which is an epimorphism when considered as a morphism in C is also an epimorphism in D; the converse, however, need not hold; the smaller category can (and often will) have more epimorphisms. In Mathematics, a subcategory of a category C is a category S whose objects are objects in C and whose morphisms are morphisms in

As for most concepts in category theory, epimorphisms are preserved under equivalences of categories: given an equivalence F : C → D, then a morphism f is an epimorphism in the category C if and only if F(f) is an epimorphism in D. In Category theory, an abstract branch of Mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are A duality between two categories turns epimorphisms into monomorphisms, and vice versa. In Category theory, an abstract branch of Mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are

The definition of epimorphism may be reformulated to state that f : X → Y is an epimorphism if and only if the induced maps

\begin{matrix}\operatorname{Hom}(Y,Z) &\rightarrow& \operatorname{Hom}(X,Z)\\ g &\mapsto& gf\end{matrix}

are injective for every choice of Z. This in turn is equivalent to the induced natural transformation

\begin{matrix}\operatorname{Hom}(Y,-) &\rightarrow& \operatorname{Hom}(X,-)\end{matrix}

being a monomorphism in the functor category SetC. In Category theory, a branch of Mathematics, a natural transformation provides a way of transforming one Functor into another while respecting the internal In Category theory, a branch of Mathematics, the Functors between two given categories can themselves be turned into a category the morphisms in this functor

Every coequalizer is an epimorphism, a consequence of the uniqueness requirement in the definition of coequalizers. In Mathematics, a coequalizer (or coequaliser) is a generalization of a quotient by an Equivalence relation to objects in an arbitrary category It follows in particular that every cokernel is an epimorphism. The converse, namely that every epimorphism be a coequalizer, is not true in all categories.

In many categories it is possible to write every morphism as the composition of a monomorphism followed by an epimorphism. For instance, given a group homomorphism f : G → H, we can define the group K = im(f) = f(G) and then write f as the composition of the surjective homomorphism G → K which is defined like f, followed by the injective homomorphism K → H which sends each element to itself. Such a factorization of an arbitrary morphism into an epimorphism followed by a monomorphism can be carried out in all abelian categories and also in all the concrete categories mentioned above in the Examples section (though not in all concrete categories).

Related concepts

Among other useful concepts are regular epimorphism, extremal epimorphism, strong epimorphism, and split epimorphism. A regular epimorphism coequalizes some parallel pair of morphisms. An extremal epimorphism is an epimorphism that has no monomorphism as a second factor, unless that monomorphism is an isomorphism. In Abstract algebra, an isomorphism ( Greek: ἴσος isos "equal" and μορφή morphe "shape" is a bijective A strong epimorphism satisfies a certain lifting property with respect to commutative squares involving a monomorphism. A split epimorphism is a morphism which has a right-sided inverse.

A morphism that is both a monomorphism and an epimorphism is called a bimorphism. In Mathematics, a morphism is an abstraction derived from structure-preserving mappings between two Mathematical structures The study of morphisms and Every isomorphism is a bimorphism but the converse is not true in general. For example, the map from the half-open interval [0,1) to the unit circle S1 (thought of as a subspace of the complex plane) which sends x to exp(2πix) (see Euler's formula) is continuous and bijective but not a homeomorphism since the inverse map is not continuous at 1, so it is an instance of a bimorphism that is not an isomorphism in the category Top. In Mathematics, an interval is a set of Real numbers with the property that any number that lies between two numbers in the set is also included in the set In Mathematics, a unit circle is In Topology and related areas of Mathematics, a subspace of a Topological space X is a Subset S of X which is In Mathematics, the complex plane is a geometric representation of the Complex numbers established by the real axis and the orthogonal imaginary axis This article is about Euler's formula in Complex analysis. For Euler's formula in algebraic topology and polyhedral combinatorics see Euler characteristic Topological equivalence redirects here see also Topological equivalence (dynamical systems. Another example is the embedding Q→R in the category Haus; as noted above, it is a bimorphism, but it is not bijective and therefore not an isomorphism.

Epimorphisms are used to define abstract quotient objects in general categories: two epimorphisms f1 : X → Y1 and f2 : X → Y2 are said to be equivalent if there exists an isomorphism j : Y1 → Y2 with j f1 = f2. In Category theory, there is a general definition of subobject extending the idea of Subset and Subgroup. This is an equivalence relation, and the equivalence classes are defined to be the quotient objects of X. In Mathematics, an equivalence relation is a Binary relation between two elements of a set which groups them together as being "equivalent"

Terminology

The companion terms epimorphism and monomorphism were first introduced by Bourbaki. In the context of Abstract algebra or Universal algebra, a monomorphism is simply an Injective Homomorphism. Nicolas Bourbaki is the collective Pseudonym under which a group of (mainly French) 20th-century Mathematicians wrote a series of books presenting an exposition Bourbaki uses epimorphism as shorthand for a surjective function. In Mathematics, a function f is said to be surjective or onto, if its values span its whole Codomain; that is for every Early category theorists believed that epimorphisms were the correct analogue of surjections in an arbitrary category, similar to how monomorphisms are very nearly an exact analogue of injections. Unfortunately this is incorrect; strong or regular epimorphisms behave much more closely to surjections than ordinary epimorphisms. Saunders Mac Lane attempted to create a distinction between epimorphisms, which were maps in a concrete category whose underlying set maps were surjective, and epic morphisms, which are epimorphisms in the modern sense. Saunders Mac Lane ( 4 August 1909, Taftville, Connecticut – 14 April 2005, San Francisco) was an American However, this distinction never caught on.

It is a common mistake to believe that epimorphisms are either identical to surjections or that they are a better concept. Unfortunately this is rarely the case; epimorphisms can be very mysterious and have unexpected behavior. It is very difficult, for example, to classify all the epimorphisms of rings. In general, epimorphisms are their own unique concept, related to surjections but fundamentally different.

See also

References

Dictionary

epimorphism

-noun

  1. (mathematics) A map f such that whenever g composed with f equals h composed with f, then g=h. In most everyday categories, a map is an epimorphism iff it's surjective
© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
 Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic