将“pushout"翻译成中文

(category theory) Given a pair of arrows f:X\rightarrow Y and g: X\rightarrow Z with a common domain, X , their pushout is a pair of arrows u:Y\rightarrow P and v:Z\rightarrow P with common codomain, P , such that the equation u\circ f = v\circ g is satisfied, and for which there is the universal property that for any other object W for which there are also arrows m: Y\rightarrow W, n: Z\rightarrow W; there is a unique arrow k: P\rightarrow W such that k\circ u = m and k\circ v = n. [..]