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

UptoLike

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

Рубрика: 

S
Y ψ : S Y
φ: S X
X
⨿
S
Y
X Y φ X
φ
Y
X
⨿
Y
s Y
φ(s) X s S
S Y
φ: S X
X Y
a
§1.3
A
⨿
C
B
φ: C A, ψ : C B
AB
φ(c) ψ(c), c C.
G
F
H
φ: F G, ψ : F H
§
π
1
: PT op Gr
Z = X Y
X Y S = X Y
s
0
S
π
1
(Z, s
0
), π
1
(X, s
0
), π
1
(Y, s
0
), π
1
(S, s
0
),
π
1
(Z, s
0
) π
1
(Y, s
0
)
oo
π
1
(X, s
0
)
OO
π
1
(S, s
0
),
OO
oo