Категории и функторы. Ершов А.В. - 63 стр.

UptoLike

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

Рубрика: 

G 7→ G
ab
§1.4
F : Gr Ab.
φ: G H
F (φ): G
ab
H
ab
F
F : Gr Ab
A Ob(Alg
k
)
k A
×
A A 7→ A
×
Alg
k
Gr
A B A
B
A
×
B
×
.
§1.4
Gr Alg
k
§1.4
S : Mon Ab Mon
M
S(M)
α
M
: M S(M)
S(M) M
φ: M N
S(φ): S(M) S(N)
M
φ
//
α
M
N
α
N
S(M)
S(φ)
//
S(N)