generated at
2/18/2025, 5:48:46 PM
引き戻し
pullback
圏
C
の射
f\colon a \to c
,
g\colon b \to c
の引き戻しを
a×_cb
と書く
記号が気に食わねえな……
引き戻しとなる四角の中に
p.b.
と書くこともある
ペースティング則
引き戻し函手
pullback functor
引き戻しは
極限
\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 \}
押し出し
pullback in nLab