引き戻し (圏論)
圏論という数学の分野において，引き戻し（ひきもどし，），あるいはファイバー積 (fiber/fibre/fibered product)，デカルトの四角形 (Cartesian square) とは，共通の終域を持つ2つの射 , からなる図式の極限である．引き戻しはしばしば
と書かれ，2つの自然な射 , を備えている．2つの射の引き戻しが存在するとは限らないが，存在すれば2つの射から本質的に一意に定義される．多くの状況において， は，元 と の対 であって なるものからなるものと直観的に考えることができる．一般の定義には普遍性が用いられ，このことを本質的な理由として，引き戻しは2つの与えられた射を可換四角形に適合させる「最も一般の」方法である．
引き戻しの双対概念は (pushout) である．