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

UptoLike

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

Рубрика: 

K(G, 1)
Hom
Gr
(π
1
(X), G)
=
[X, BG].
f : X BG
π
1
(f): π
1
(X) π
1
(BG)
=
G,
φ: π
1
(X) G
B(φ): X BG
: C
D[C]
D
F : D C C Ob(C)
Hom
C
(colimF, C)
=
Hom
D[C]
(F, ∆(C)),
colim: D[C] C
D
: C C × C
∆(X) = (X, X), ∆(f) = (f, f).
+
C
+: C × C C, (X, Y ) 7→ X + Y
Hom
C
(X + Y, Z)
=
Hom
C×C
((X, Y ), ∆(Z)),
Hom
C
(X, Y × Z)
=
Hom
C×C
(∆(X), (Y, Z))