nLab
epimorphism

Contents

Definition

An epimorphism in a category CC is a morphism f:XYf : X \to Y such that every contravariant hom-functor Hom(,Z)Hom(-,Z) sends it to an injection

ZC:Hom(Y,Z)f *Hom(X,Z). \forall Z \in C : \; Hom(Y,Z) \stackrel{f^*}{\hookrightarrow} Hom(X,Z) \,.

In more elementary terms, f:XYf: X \to Y is an epimorphism if, given any g,h:YZg, h: Y \to Z, such that the composites fg=fh\stackrel{f}{\to} \stackrel{g}{\to} = \stackrel{f}{\to} \stackrel{h}{\to} are equal, then already g=hg = h:

( Y f g X Z f h Y )(X f Y h g Z ) \left(\array{ & & Y \\ & \nearrow_{f} & & \searrow^{g} \\ X & & & & Z \\ & \searrow^{f} & & \nearrow_{h} \\ & & Y \\ } \right) \quad\quad \Rightarrow \quad\quad \left(\array{ X & \rightarrow^{f} & Y & \rightrightarrows^g_h & Z \\ }\right)

Examples

The epimorphisms in Set are the surjective functions; thus epimorphisms can be thought of as a categorical notion of surjection. However, this is frequently not quite right: in categories of sets with extra structure, epimorphisms need not be surjective (unlike the case for monomorphisms, which are usually injective). Often, though, the surjections correspond to a stronger notion of epimorphism.

Properties

Proposition

The following are equivalent

Proposition

Every coequalizer

zxy z \stackrel{\to}{\to} x \to y

is an epimorphism.

Proposition

Epimorphisms are preserved by pushout: if f:xyf : x \to y is an epimorphism and

x a f g y b \array{ x &\to& a \\ {}^{\mathllap{f}}\downarrow && \downarrow^{g} \\ y &\to& b }

is a pushout diagram, then also gg is an epimorphism.

Proof

Let h 1,h 2:bch_1,h_2 : b \to c be two morphisms such that gh 1=gh 2\stackrel{g}{\to} \stackrel{h_1}{\to} = \stackrel{g}{\to} \stackrel{h_2}{\to} . Then by the commutativity of the diagram also xybh 1cx \to y \to b \stackrel{h_1}{\to} c equals xybh 2cx \to y \to b \stackrel{h_2}{\to} c. Since xyx \to y is assumed to be epi, it follows that ybh 1cy \to b \stackrel{h_1}{\to} c equals ybh 2cy \to b \stackrel{h_2}{\to} c. But this means that h 1h_1 and h 2h_2 define the same cocone. By the universality of the pushout bb there is a unique map of cocones from bb to cc. Hence h 1h_1 must equal h 2h_2. Therefore gg is epi.

Proposition

Epimorphisms are preserved by left adjoint functors:

if F:CDF : C \to D is a functor which is left adjoint then for fMor(C)f \in Mor(C) an epimorphism also F(f)Mor(D)F(f) \in Mor(D) is an epimorphism

Proof

One argument is this:

By the adjunction natural isomorphism we have for all dObj(D)d \in Obj(D)

Hom D(L(f),d)Hom C(f,R(d)). Hom_D(L(f),d) \simeq Hom_C(f,R(d)) \,.

The right hand is a monomorphism by assumption, hence so is the left hand, hence L(f)L(f) is epi.

Another argument is this: use that by the above ff is epi precisely if

f f Id Id \array{ & \stackrel{f}{\to} & \\ {}^{\mathllap{f}}\downarrow && \downarrow^{\mathrlap{Id}} \\ & \underset{Id}{\to} & }

is a pushout diagram and observe that left adjoint functors preserve pushouts (and of course identities?).

Variations

There are a sequence of variations on the concept of epimorphism, which conveniently arrange themselves in a total order. In order from strongest to weakest, we have:

In the category of sets, every epimorphism is effective descent (and even split if you believe the axiom of choice). Thus, it can be hard to know, when generalising concepts from Set\Set to other categories, what kind of epimorphism to use. The following discussion may be helpful in this regard.

First we note:

  • Descent and effective descent morphisms are only defined in a category with pullbacks. The other notions can be defined in any category, although of course for an effective epimorphism one must in general assert the existence of the kernel pair.

Moreover, if the category has finite limits, then the picture becomes much simpler:

  • If a strict epimorphism has a kernel pair, then it is effective and hence also regular. Thus, in a category with pullbacks, effective = regular = strict. Probably for this reason, there is substantial variation among authors in their use of these words; some use “effective epi” or “regular epi” to mean what we have called a “strict epi”.

  • Likewise, in a category with pullbacks, every extremal epimorphism is strong, since monomorphisms are always pullback-stable.

  • Moreover, in a category with equalizers, strong and extremal epimorphisms do not need to explicitly be asserted to be epic; that follows from the other condition in their definition.

Also worth noting are:

  • In a regular category, every extremal epimorphism is a descent morphism (i.e. a pullback-stable regular epimorphism). Thus in this case there remain only four types of epimorphism: split, effective descent, regular, and plain.

  • In an exact category, or a category that has pullback-stable reflexive coequalizers (which implies that it is regular), any regular epimorphism is effective descent. Thus in this case we have only three types: split, regular, and plain.

  • In a pretopos (hence also in a topos), every epimorphism is regular, leaving only two types: split and plain. The collapsing of these two types into one is called the axiom of choice for that category.

Thus, in general, the two serious distinctions come

  • Between split epimorphisms and regular ones: in very few categories are all regular epimorphisms split. Splitting of even regular epimorphisms is a form of the axiom of choice, which may be valid in Set (if you believe it) but very often fails internally.

  • Between extremal epimorphisms and “plain” epimorphisms: in many categories, the plain epimorphisms are oddly behaved, but the extremal ones are what we would expect. For instance, the inclusion \mathbb{Z}\hookrightarrow\mathbb{Q} is an epimorphism of rings, but the extremal epimorphisms of rings are just the surjective ring homomorphisms. More generally, in all algebraic categories (categories of algebra for a Lawvere theory), which are regular, the regular epimorphisms are the morphisms whose underlying function is surjective.

Moreover, even in non-regular categories, there seems to be a strong tendency for strong/extremal epimorphisms to coincide with regular/strict ones. For example, this is the case in Top, where both are the class of quotient maps. (The plain epimorphisms are the surjective continuous functions.)

However, the distinction is real. For instance, in the category generated by the following graph:

C f A hk B g D \array{ &&&& C\\ &&& ^f\nearrow\\ A& \underoverset{h}{k}{\rightrightarrows} & B \\ &&& _g\searrow\\ &&&& D}

subject to the equations fh=fkf h = f k and gh=gkg h = g k, both ff and gg are strong, but not strict, epimorphisms.

Revised on November 29, 2012 18:44:52 by Urs Schreiber (82.169.65.155)