I am working on a project, and I need to know the proof of this:
Any functor which preserves all colimits preserves epimorphisms.
So could you please tell me how or where I can find the proof for this corollary? Thank you very much.
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
This follows from the following fact. $e : X \to Y$ is an epimorphism if and only if
is a pushout. This should be very easy to verify. Pushouts are finite colimits and therefore if a functor preserves colimits it will map pushouts to pushouts and therefore epis to epis.
answered Dec 12, 2013 at 13:18
-
$\begingroup$ @Dan If this answers your question then you should accept it as an answer (click the tick on the left below the downvote button). $\endgroup$ Dec 12, 2013 at 21:01