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

UptoLike

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

Рубрика: 

iI
A
i
γ :
iI
A
i
C
A
i
φ
ij
//
α
i
B
B
B
B
B
B
B
B
B
γ
i
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
A
j
α
j
~~
|
|
|
|
|
|
|
|
|
γ
j
iI
A
i
γ
C
a A
i
γ
j
(φ
ij
(a)) γ
i
(a) = γ(α
j
(φ
ij
(a)) α
i
(a)) = 0
γ α
i
= γ
i
R ker γ
§1.4
ψ : B C ψ π = γ.
γ
i
= γ α
i
= ψ π α
i
= ψ ι
i
,
A
i
φ
ij
//
ι
i
@
@
@
@
@
@
@
@
γ
i
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
A
j
ι
j
~~
~
~
~
~
~
~
~
γ
j
B
ψ
C
i j.
(I, ) D
(I, ).
D F C
i I F (i) C
φ
ij
: F (j) F (i) i, j i j
φ
ii
= id
F (i)
, φ
ij
φ
jk
= φ
ik
i j k.