Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

could you please help with the proof?

If a category $K$ has pullbacks. For composable morphisms $f: A\to B$ and $g: B \to C,$ if $g$ and $f$ are extremal epimorphisms, prove that $gf$ is an extremal epimorphism.

The definition of extremal epimorphism I have been given is:

A morphism $e: A \to B$ is an extremal epimorphism when for each commutative diagram $e: A \to B,$ $f: A \to C$, $m: C \to B$ ($e= mf$) if $m$ is monic, then $m$ is an isomorphism.

I have let $f = mk$ and $g = nh$, then I have drawn out the pullbacks of $f$ and $m,$ and of $g$ and $n$.

I don't know where to go from here.

share|cite|improve this question

marked as duplicate by Najib Idrissi, AlexR, M Turgeon, Dennis Gulko, Zhen Lin Dec 13 '13 at 21:39

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

up vote 3 down vote accepted

Let $h:A\to X$ be any morphism and $m:X\to C$ monic such that $mh=gf$. We want to show that $m$ is an isomorphism.

Let $P$ be the pullback of the diagram $g:B\to C$ and $m:X\to C$. By the universal property of pullbacks there exists a map $\alpha:A\to P$. Denote by $m':P\to B$ and $g':P\to X$ the induced morphisms. Now $m'$ is monic as the pullback of a monic morphism.

Because $f$ is an extremal epi, $m'$ is an iso. Hence we have a morphism $g'm'^{-1}:B\to X$. Because $g$ is an extremal epi, $m$ is an iso.

Edit: The fact that $m'$ is monic is not entirely trivial. Maybe you want to show this yourself.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.