generated at
積
圏論的積
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