積 (圏論)

圏論において、考えている圏の二つの（あるいはそれ以上の）対象の（圏論的）積（せき、）または直積 ("direct product") は集合の直積（デカルト積）、群の直積、環の直積、位相空間の直積といった数学の他の分野における構成の背後にある本質を捉えるために考えられた概念である。本質的に対象の族の積は与えられた対象のそれぞれへの射をもつ「最も一般な」対象である。
定義.
 を適当な対象 をもった圏とする。 と との積とは、 と書かれる の対象と二つの射 および との組で、以下の普遍性を満たすものを言う。
一意的な射 は と との射の積と言い、 とも書かれる。射 は自然な射影、標準射影 () あるいは射影射 () と呼ばれる。
いま定義したものは、二項の積であるが、より一般に集合 で添字付けられた対象の任意の族をとり、それらの積を考えることができる。すなわち、
圏 の対象の族 の（ における）積とは、 の対象 と射の族 との組で以下の普遍性を満足するものを言う。
この積 をしばしば で表す。 の場合は特に のように書き、射の積も のように書く。
等式的な定義.
図式を用いる代わりに、対象の積を等式的に定めることができる。その場合例えば、二項の積は
極限として.
積は極限の特別な場合である。これを見るには、極限の定義で必要となる図式において離散圏（恒等射以外の射をもたない対象からなる族）を用いればよい（各離散対象は成分と射影の添字を与え、図式を関手とみれば（離散圏とみた）添字集合 からの関手である）。このとき実際に積の定義が極限の定義と一致することがみてとれる。 が、射影が極限（極限錐）である。
普遍構成.
極限が普遍構成の特別な場合であるのと全く同じように、積もそうである。極限の普遍性を適用するのに必要なものとして、 をただ二つの対象をもつ離散圏とする（このとき は単に である）。対角関手 は各対象 に順序対 を対応させ、各射 に順序対 を対応させるものである。 における積 は、対角函手 から の対象 への普遍射によって与えられる。この普遍射は の対象 と射 からなり、これは射影を含んでいる。
例.
集合の圏における（圏論的な意味での）積はデカルト積（集合の直積）である。与えられた集合の族 に対する積は、集合 と自然な射影の族 との組として定まる。ここで各射影は を満たす写像である。 
任意の集合 と写像の族 が与えられたとき、普遍射 は として定まる。
他の例：
議論.
任意の圏において、必ずしも積が存在するとは限らない。例えば、空積（すなわち添字集合 が空集合）は終対象と同じであり、無限群の圏のようないくつかの圏は終対象を持たない： 任意の無限群 に対し、射 は無限個存在するので、 が終対象となることはありえない。
添字集合 に対し、 で添字付けられる任意の族が圏 において積を持つならば、積をとる演算を取り纏めて関手 として扱うことができる。この関手が対象をどのように写すかは明らかだが、射の対応は微妙である（定義節で与えられた「射の積」とは少々異なる）。二項の積（積函手は）の場合を考えると、必要となるのは に対して適当な なる射を作ることで、それには積 を取ればよい。射に対するこの演算を射の直積あるいはデカルト積 (cartesian product of morphisms) と呼ぶ。一般の場合の積関手も同様に、族 の間の射の族 に対して なる射として、射の族 の積 が対応する。
対象のすべての有限集合が積をもつような圏はデカルト圏 (cartesian category) と呼ばれることもある。（ただし、「すべての有限極限をもつ圏」の意味でこの語を用いる文献もある。）
積は結合的である。デカルト圏 において、上で述べたように積函手を考え、 の終対象を と書けば、
が成立する。これらの性質は（同型を等式で置き換えれば）可換モノイドの性質と形の上では同じである。すなわち、有限積を備えた圏は、モノイド圏を構成する。
分配性.
有限積および有限余積をもつ圏において、自然な射 が存在する、ただしここでプラス記号は余積を表す。これを見るために、次の図式 を埋める種々の射影および入射について注意を払わねばならない。
これにより に対する普遍性は一意な射 を保証する。は、この射が実際に同型射となるような圏を言う。従って分配圏において自然な同型
が成立する。