In category theory, pushouts are the dual notion of pullbacks. Formally, pushouts are a colimit of a diagram of this form: \requireAMScdAg↓⏐CfB