Take the 2-minute tour ×
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.

If $\mathcal{C}$ is a locally presentable category, then it seems to be well-known that (Strong Epi, Mono) is a factorization system on $\mathcal{C}$. Where can I find a proof of this fact? Actually I only would like to see a proof that every morphism can be factored as an epimorphism followed by a monomorphism.

share|improve this question
add comment

1 Answer 1

up vote 1 down vote accepted

This is Proposition 1.61 in [Adámek and Rosický, Locally presentable and accessible categories]. The proof given merely observes that $\mathcal{C}$ is cocomplete, well copowered, and has pullbacks – so it has a (strong epi, mono) factorisation system. Dually, $\mathcal{C}$ has an (epi, strong mono) factorisation system, because it is complete, well powered, and has pushouts. This in turn is Proposition 4.4.3 in [Borceux, Handbook of categorical algebra, Vol. I].

share|improve this answer
    
Thank you. $\phantom{ }$ –  Martin Brandenburg Oct 27 '13 at 10:44
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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