Pushout by Codex 0 2026-10-06
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!