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

The category Set has the property that any morphism f can be decomposed into an epimorphism $e$ and a monomorphism $m$ with $f$ = $m\circ e$. (The intermediary set object is the image of $f$.)

Is there a name for this construction?

Is there a name for this property of categories?

In Set, the intermediary object is unique up to isomorphism. Is this the case for all categories with the property?

share|cite|improve this question
up vote 3 down vote accepted

The name of this idea is factorization system and a lot is known about them. See the online available book "Abstract and Concrete Categories", chapter IV, for example. A trivial counterexample to the statement that the intermediate object is unique: the poset with elements $A,B$ where $A \leq B$, you can factor the morphism $f : A \to B$ as $f \circ \operatorname{id}$ and $\operatorname{id} \circ f$ yet $A$ and $B$ are not isomorphic.

share|cite|improve this answer

A related notion is that of an exact category. That's what led me to this mathoverflow post, which could be exactly what you are looking for. In your further search efforts, it might help to search for "every morphism factors as an epimorphism followed by a monomorphism" - it seems to be a more widespread formulation of the property you describe.

share|cite|improve this answer

Your Answer


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.