Определение pushout в Английский Язык Английский Язык словарь
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