対角関手

圏論において、積 formula_1 が存在する任意の圏 formula_2 の任意の対象 formula_3 に対して、
を満たす対角射 (diagonal morphism)
が存在する。ただし formula_7 は formula_8 次成分への自然な射影射である。この射の存在は（同型を除いて）積を特徴づける普遍性の結果である。ここでの二項の積への制限は表記の簡単さのためである。対角射は同様に任意の積に対して存在する。集合の圏の対角射の像は、カルテジアン積の部分集合として、定義域上の関係、すなわち等式である。
に対して、対角射は対象 formula_3 の元 formula_10 上のその作用によって単純に記述することができる。すなわち、formula_11、formula_10 から形成される順序対。名前の理由はそのような対角射の像は（それが意味をなすときにはいつでも）対角線であるということである。例えば実数直線上の対角射 formula_13 の像は方程式 formula_14 のグラフである直線によって与えられる。無限積 formula_15 の中への対角射は formula_16 に値を持つ数列空間の中への単射を提供するだろう。各元はその元での定値列に写す。しかしながら、列空間の大抵の概念は対角写像の像が満たさない収束の制限をもつ。
特に、小さい圏の圏は積をもち、したがって formula_17 によって与えられる対角関手 (diagonal functor) formula_18 があり、これは対象と射を写す。関手は圏 formula_2 "の中で" (within) 対象の積の簡明な別の記述を与えるために雇うことができる： 積 formula_20 は formula_21 から formula_22 への普遍矢である。矢は射影写像からなる。
より一般に、任意の関手圏 formula_23 において（ここで formula_24 は添え字圏として考えられるべきである）、formula_2 の各対象 formula_3 に対して、固定された対象 formula_3 をもつが存在する： formula_28。対角関手 formula_29 は formula_2 の各対象に関手 formula_31 を割り当て、formula_2 の各射 formula_33 に明らかな自然変換 formula_34 in formula_23（formula_36 によって与えられる）を割り当てる。formula_24 が 2 つの対象を持つ離散圏である場合には、対角関手 formula_18 がリカバーされる。
対角関手は関手の極限と余極限を定義する方法を提供する。任意の関手 formula_39 の極限は formula_21 から formula_41 への普遍矢であり、余極限は普遍矢 formula_42 である。formula_24 から formula_2 へのすべての関手が極限をもてば（formula_2 が完備であればこの場合である）、極限を取る操作はそれ自身 formula_23 から formula_2 への関手である。極限関手は対角関手の右随伴である。同様に、（圏が余完備であれば存在する）余極限関手は対角関手の左随伴である。例えば、上で記述された対角関手 formula_18 は二項の積の関手の左随伴と二項の余積の関手の右随伴である。