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

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

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

Рубрика: 

f : Y → Z C
h
′
X
1
(Y )
h
′
X
1
(f)
//
h
′
φ
(Y )
h
′
X
1
(Z)
h
′
φ
(Z)
ϑ
//
f ◦ ϑ
h
′
X
2
(Y )
h
′
X
2
(f)
//
h
′
X
2
(Z) ϑ ◦ φ
//
f ◦ ϑ ◦ φ,
ϑ: X
1
→ Y C
§2.3
h
X
: C → Set.
φ: X
1
→ X
2
C
h
φ
: h
X
1
⇒ h
X
2
.
§2.3
F, G
T F G
f(U): F (U) → G(U),
ρ
G
U, V
◦ f(U) = f(V ) ◦ ρ
F
U, V
φ: R
1
→ R
2
R
1
= R, R
2
= C
R → C F T R
1
G
T R
2
f : F ⇒ G,
f(s) = φ ◦ s: U → R
2
s: U → R
1
.
∀k ≥ 0
h
k
: π
k
⇒ H
k
k
k
f : F ⇒ G, g : G ⇒ H
F, G, H : C → D g ◦ f : F ⇒ H
(g ◦ f)(X) = g(X) ◦ f(X): F (X) → H(X) ∀X ∈ Ob(C).
φ: X → Y C

Страницы