Pushout meaning

(category theory) Given a pair of morphisms and with a common domain, Z, their pushout is a pair of morphisms and as well as their common codomain, P, such that the equation is satisfied, and for which there is the universal property that for any other object Q for which there are also morphisms and ; there is a unique morphism such that and .
noun
0
0
Advertisement

Other Word Forms

Noun

Singular:
pushout
Plural:
pushouts

Origin of pushout