Функторные морфизмы. Ершов А.В. - 79 стр.

UptoLike

Составители: 

Рубрика: 

G, G
: D C
F : C D
G
=
G
F : C D
G: D C X
1
, X
2
Ob(C)
F (X
1
+ X
2
)
=
F (X
1
) + F (X
2
).
Y
1
, Y
2
Ob(D) G(Y
1
× Y
2
)
=
G(Y
1
) × G(Y
2
).
Hom
C
(F (X
1
+ X
2
), Y )
=
Hom
D
(X
1
+ X
2
, G(Y ))
=
Hom
D
(X
1
, G(Y )) × Hom
D
(X
2
, G(Y ))
=
Hom
C
(F (X
1
), Y ) × Hom
C
(F (X
2
), Y )
=
Hom
C
(F (X
1
) + F (X
2
), Y ).
F G
h
F (X
1
+X
2
)
=
h
F (X
1
)+F (X
2
)
.
F (X
1
+ X
2
) F (X
1
) + F (X
2
).