18/07/09 00:19:20.58 Gam8CpBv.net
>>832
p:X×Y→X、q:X×Y→Yを射影とする。
(f,g)∈F(Z,X)×F(Z,Y)に対しh(z)=(f(z),g(z))で定められるh∈F(Z,X×Y)を対応させ、
h∈F(Z,X×Y)に対しf = ph,g=qhで定められる(f,g)∈F(Z,X)×F(Z,Y)を対応させる。
18/07/09 00:19:20.58 Gam8CpBv.net
>>832
p:X×Y→X、q:X×Y→Yを射影とする。
(f,g)∈F(Z,X)×F(Z,Y)に対しh(z)=(f(z),g(z))で定められるh∈F(Z,X×Y)を対応させ、
h∈F(Z,X×Y)に対しf = ph,g=qhで定められる(f,g)∈F(Z,X)×F(Z,Y)を対応させる。