generated at
2/18/2025, 5:59:23 PM
直積
product
direct product
デカルト積
cartesian product
二項直積
a,b \in \operatorname{Obj}(C)
の直積を
a \times b
と書く
任意の対象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
余直積
積 (圏論) - Wikipedia
