引き戻し (圏論)

圏論という数学の分野において，引き戻し（ひきもどし，），あるいはファイバー積 (fiber/fibre/fibered product)，デカルトの四角形 (Cartesian square) とは，共通の終域を持つ2つの射 , からなる図式の極限である．引き戻しはしばしば
と書かれ，2つの自然な射 , を備えている．2つの射の引き戻しが存在するとは限らないが，存在すれば2つの射から本質的に一意に定義される．多くの状況において， は，元 と の対 であって なるものからなるものと直観的に考えることができる．一般の定義には普遍性が用いられ，このことを本質的な理由として，引き戻しは2つの与えられた射を可換四角形に適合させる「最も一般の」方法である．
引き戻しの双対概念は (pushout) である．
普遍性.
明示的には，2つの射 , の引き戻しは，対象 と2つの射 と であって次の図式が可換となるものからなる：
さらに，引き戻し はこの図式について普遍的でなければならない，つまり，別のそのような3つ組 であって次の図式が可換であるような任意のものに対して，一意的な （仲介射 (mediating morphism) と呼ばれる）が存在して
とならなければならない．
すべての普遍的な構成がそうであるように，引き戻しは，存在すれば，同型を除いて一意である．実際，同じ の2つの引き戻し と が与えられると， と の間の引き戻し構造を尊重した一意的な同型が存在する．
弱い引き戻し.
余スパン の弱引き戻し ("weak pullback") は「弱い普遍性」しか持たない（つまり、上記の仲介射 が一意であることを要求しない）ような余スパン上の錐を言う。
引き戻しと積.
引き戻しは積と似ているが，同じではない．射 , と対象 の存在を「忘れる」ことによって積が得られる．このとき2つの対象 , のみを持ちそれらの間に何の射もない離散圏が残るが，この離散圏は通常の二項積を構成するための添字集合として用いることができる．したがって，引き戻しは付加構造を持った通常の（デカルト）積と考えることができる．, , を「忘れる」代わりに，それらを「自明化」することも を終対象（存在は仮定する）に特殊化すれば可能で（この場合 と は一意に決まって，しかも何の情報も与えない），この cospan の引き戻しは と の積と見ることができる．
例.
可換環.
（単位元を持つ）可換環の圏 において，引き戻しはファイバー積と呼ばれる．
とする．したがって , , は単位元を持つ可換環であり，, は単位元を保つ環準同型である．するとこの図式の引き戻しはデカルト積 の部分環
と次で定義される射
の組である：すべての formula_4 に対して formula_5 および formula_6 このとき
である．
集合.
集合の圏において， と の引き戻しは集合
と射影 , の への制限の組である．
あるいは， における引き戻しを非対称的に
と見ることもできる．ここで formula_10 は非交和を表す（現れる各集合は、それぞれ または が単射でない限り交わりを持つことに注意）。前者の式の場合、射影 は を添字として取り出すこと、それと同時に は添字であることを忘れて単に の元とみるものになっている。
この例は引き戻しを特徴づける別の方法を動機付ける，すなわち射 のイコライザである，ただし は と の二項積で， と は自然な射影である．これは二項積とイコライザを持つ任意の圏において引き戻しが存在することを示す．実は，によって，終対象，二項積，イコライザを持つ圏において，すべての有限極限が存在する．
ファイバー束.
引き戻しの別の例はファイバー束の理論から来る．束写像 と連続写像 が与えられると，位相空間の圏における引き戻し はと呼ばれる 上のファイバー束である．付随する可換図式はファイバー束の射である．
逆像と共通部分.
写像による集合の逆像は以下のように引き戻しとして記述できる．
, とする． を包含写像 とする．このとき，（ における） と の引き戻しは，原像 と原像の への包含
と の への制限
によって与えられる．
この例のため，一般の圏において射 と単射 の引き戻しは， によって特定される部分対象の による「原像」と思うことができる．同様に，2つの単射の引き戻しは2つの部分対象の「共通部分」と思うことができる．
性質.
formula_12