直積
product
direct product
デカルト積
cartesian product
二項直積
$ a,b \in \operatorname{Obj}(C)
の直積を
$ a \times b
と書く
https://gyazo.com/041c79db0989f272dc57c37f2d0fdd19
任意の対象2つについて直積が存在するとき、圏
$ C
は
（二項）直積を持つ
という
標準射影
canonical projection
射影射
projection morphism
射影
直積は
極限
$ a \times b = \lim T
where
$ T\colon J \to C
$ J \coloneqq \{1,\ 2\}
$ T(1)=a, \ T(2)=b
dual.icon
余直積
reference.icon
積 (圏論) - Wikipedia