積
積(product)
圏論の積について
圏論の積の定義
任意の対象$ X および射の対 $ f: X → A および$ g: X → B が与えられたとき、一意的な射$ m: X → 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
$ f = \pi_A \circ m 、$ g = \pi_B \circ m
確認用
Q. 積
関連
参考
メモ
【計算機科学向け】 圏論の基礎的概念２ - 普遍性（Universal MappingProperty） - YouTube
https://www.youtube.com/watch?v=oL_rGkD98jw
調査用
Wikipedia.icon
Wikipedia.icon