押し出し
pushout
圏$ C の射$ f\colon c \to a ,$ g\colon c \to b の押し出しを$ a\amalg_cb と書く
押し出しとなる四角の中に p.o. と書くこともある
押し出しは余極限$ \left\lang \operatorname{colim} T , \pi \right\rang where$ T\colon J \to C
$ J \coloneqq \{\bullet ← \bullet → \bullet \} \mapsto \{a \xleftarrow{f} c \xrightarrow{g} b \}