Theorem 23.5:

If the push out for the pair $ j_1:C\longrightarrow A_1$ and $ j_2:C\longrightarrow A_2$ exists in a given category, then it is unique.

nisha 2012-03-20