対角関手

圏論において、積  が存在する任意の圏  の任意の対象  に対して、

 for 

を満たす対角射 (diagonal morphism)

が存在する。ただし  は  次成分への自然な射影射である。この射の存在は（同型を除いて）積を特徴づける普遍性の結果である。ここでの二項の積への制限は表記の簡単さのためである。対角射は同様に任意の積に対して存在する。集合の圏の対角射の像は、カルテジアン積の部分集合として、定義域上の関係、すなわち等式である。

に対して、対角射は対象  の元  上のその作用によって単純に記述することができる。すなわち、、 から形成される順序対。名前の理由はそのような対角射の像は（それが意味をなすときにはいつでも）対角線であるということである。例えば実数直線上の対角射  の像は方程式  のグラフである直線によって与えられる。無限積  の中への対角射は  に値を持つ数列空間の中への単射を提供するだろう。各元はその元での定値列に写す。しかしながら、列空間の大抵の概念は対角写像の像が満たさない収束の制限をもつ。

特に、小さい圏の圏は積をもち、したがって  によって与えられる対角関手 (diagonal functor)   があり、これは対象と射を写す。関手は圏  の中で (within) 対象の積の簡明な別の記述を与えるために雇うことができる： 積  は  から  への普遍矢である。矢は射影写像からなる。

より一般に、任意の関手圏  において（ここで  は添え字圏として考えられるべきである）、 の各対象  に対して、固定された対象  をもつが存在する： 。対角関手  は  の各対象に関手  を割り当て、 の各射  に明らかな自然変換  in （ によって与えられる）を割り当てる。 が 2 つの対象を持つ離散圏である場合には、対角関手  がリカバーされる。

対角関手は関手の極限と余極限を定義する方法を提供する。任意の関手  の極限は  から  への普遍矢であり、余極限は普遍矢  である。 から  へのすべての関手が極限をもてば（ が完備であればこの場合である）、極限を取る操作はそれ自身  から  への関手である。極限関手は対角関手の右随伴である。同様に、（圏が余完備であれば存在する）余極限関手は対角関手の左随伴である。例えば、上で記述された対角関手  は二項の積の関手の左随伴と二項の余積の関手の右随伴である。

関手
数学に関する記事