引き戻し
圏$ C の射$ f\colon a \to c ,$ g\colon b \to c の引き戻しを$ a×_cb と書く
dragoon8192.icon 記号が気に食わねえな……
引き戻しとなる四角の中に p.b. と書くこともある
引き戻しは極限$ \left\lang \lim T , \pi \right\rang where$ T\colon J \to C
$ J \coloneqq \{\bullet → \bullet ← \bullet \} \mapsto \{a \xrightarrow{f} c \xleftarrow{g} b \}