積
圏論的積
category-theoretic product
categorical product
定義
$ A,B
を対象とする
$ A,B
の積とは、
組
$ (A\times B, p_A:A\times B\to A, p_B:A\times B\to B)
で、
積の普遍性
を満たすもの
ref
他との関係性を含んだ定義
/mrsekut-book-432011454X/044 (第3章 Setに関する基本的考察)
『圏論の歩き方』
p.22