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