Skip to main content
Became Hot Network Question
Added top-level tag
Link
gmvh
  • 3.1k
  • 6
  • 27
  • 45
Source Link
KKD
  • 473
  • 5
  • 14

Filling square to push-out in abelian category

Let $\mathcal{C}$ be an abelian category. In $\mathcal{C}$ we consider the diagram \begin{array}{ccc} A&&\\\ \downarrow&&\\\ C&\rightarrow&D \end{array} with arrows being monomorphism.

Is it possible to say when there is a $B$ such that we have a push-out square \begin{array}{ccc} A&\rightarrow&B\\\ \downarrow&&\downarrow\\\ C&\rightarrow&D \end{array} and if possible how to get $B$ (up to isomorphism)?