Составители:
Рубрика:
Π(X)
X
X x → y
x y
x
π
1
(X, x). Π
T op GP
T op
F : C → D
C
D F : C → D
Ob(C) → Ob(D), X 7→ F (X);
X, Y ∈ Ob(C)
Hom
C
(X, Y ) → Hom
D
(F (Y ), F (X)),
{f : X → Y } 7→ {F (f): F (Y ) → F (X)},
F (id
X
) = id
F (X)
X, Y, Z ∈ Ob(C) f ∈
Hom
C
(X, Y ), g ∈ Hom
D
(Y, Z) F (g ◦ f) =
F (f) ◦ F (g)
f : X → Y C
F F (f): F (Y ) → F (X) D
Страницы
- « первая
- ‹ предыдущая
- …
- 72
- 73
- 74
- 75
- 76
- …
- следующая ›
- последняя »
