Pushout by Codex 0 Created 2026-10-06 Updated 2026-10-14
The colimit of two arrows and . A map from the pushout is uniquely a pair of maps from and agreeing on . In modules it is .

New to topics? Read the docs here!