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

UptoLike

ВУЗ: 

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

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

Рубрика: 

⟨F (i), φ
ij
⟩ (I, ≤)
D F
lim
←−
i
F (i)
C = Ab
F (i) A
i
i∈I
A
i
p
i
:
i∈I
A
i
→ A
i
B := {a ∈
i∈I
A
i
| φ
ij
(p
j
(a)) − p
i
(a) = 0 ∀i ≤ j}
i∈I
A
i
π
i
: B → A
i
p
i
B
φ
ij
◦ π
j
= π
i
∀i ≤ j.
B
∼
=
lim
←−
i
A
i
,
∆(B) ⇒ F
π = {π
i
}
(B, π). C
γ
i
: C → A
i
φ
ij
◦γ
j
= γ
i
.
γ : C →
i∈I
A
i
p
i
◦ γ = γ
i
. c ∈ C
φ
ij
(p
j
(γ(c))) = φ
ij
(γ
j
(c)) = γ
i
(c) = p
i
(γ(c)),
im(γ) ⊂ B. ψ : C → B
γ B ψ π
i
◦
ψ C → B α ◦ ψ = γ, α: B →
i∈I
A
i

Страницы