Wiki. 拉回 (范畴论) [拉回]

在一个范畴中, 拉回 (pullback) 一般是指以如下范畴为指标范畴的极限: $$ \begin{array} {ccc} &&\bullet\\ &&\downarrow\\ \bullet & \to &\bullet \end{array} $$ “多个对象指向一个对象” 的指标范畴的极限也可称为拉回.

另见拉回 (纤维范畴).