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

UptoLike

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

Рубрика: 

α
h
α
(S)(fg)(s) = α((fg)(s)) = α(f(s)g(s)) = α(f(s))α(g(s)) =
(α f)(s)(α g)(s) = (h
α
(S)(f)h
α
(S)(g))(s) s S,
h
α
(S)(fg) = h
α
(S)(f)h
α
(S)(g).
G
Gr,
Gr
C X Ob(C).
X
h
X
(Y ) = Hom(Y, X)
φ: Y
1
Y
2
C
h
X
(φ): h
X
(Y
2
) h
X
(Y
1
)
X
C. α: X
1
X
2
C
h
α
(Y ): h
X
1
(Y ) h
X
2
(Y ) Y Ob(C)
C Set
C
C