積
積(product)
圏論の積について
圏論の積の定義
任意の対象$ X および射の対 $ p: Y → A および$ q: Y → B が与えられたとき、一意的な射$ m: Y → A × B が存在する。
対象$ A,B
$ A,B の積を$ A \times B
$ A \times B から$ A への射$ \pi_A , $ A \times B から$ B への射$ \pi_B
https://gyazo.com/998eb28f7edfcef10ed5cd507d70d1ba
$ p = \pi_A \circ m 、$ q = \pi_B \circ m
確認用
Q. 積
関連
参考
調査用
Wikipedia.icon
Wikipedia.icon