Составители:
Рубрика:
F (X)
f(X)
//
F (φ)
G(X)
g(X)
//
G(φ)
H(X)
H(φ)
F (Y )
f(Y )
//
G(Y )
g(Y )
//
H(Y )
id
F
: F ⇒ F id
F
(X) =
id
F (X)
∀X ∈ Ob(C).
C → D
Funct(C, D). F : C → D
Funct(C
◦
, D).
2 0, 1
0 → 1 C
Funct(2, C),
C
G → Set, G → Vect
k
G
G
F : C → D G: C → D
f : F ⇒ G, g : G ⇒
F, g ◦ f = id
F
, f ◦ g = id
G
.
f : F ⇒ G
X ∈ Ob(C)
f(X): F (X) → G(X) D
G(φ) ◦ f(X) = f(Y ) ◦ F (φ).
Страницы
- « первая
- ‹ предыдущая
- …
- 8
- 9
- 10
- 11
- 12
- …
- следующая ›
- последняя »
