In category theory, the concept of a **pushout** is aspecific type of colimit that generalizes the idea of "gluing" objects together along a shared substructure. The pushout captures the idea of taking two objects that have a common part and combining them to form a new object.
