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

UptoLike

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

Рубрика: 

F, G C D
F G f : F G
D
f(X): F (X) G(X),
X Ob(C)
φ: X Y C
F (X)
f(X)
//
F (φ)
G(X)
G(φ)
F (Y )
f(Y )
//
G(Y )
§1.2
G
·
G
G
G H
F : G H.
G H F
1
, F
2
: G H
f : F
1
F
2
.