Definify.com

Definition 2024


pushout

pushout

See also: push out

English

Noun

pushout (plural pushouts)

  1. (category theory) The colimit of a pair of morphisms which share the same domain.

See also