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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
F
, (C, α) C
C α: ∆(C) ⇒ F D
(C, α) → (C
′
, α
′
) C
F
f : C → C
′
C
∆(C)
α
//
∆(f)
F
∆(C
′
)
α
′
<<
y
y
y
y
y
y
y
y
y
(limF, π) D F
C
F
α: ∆(C) ⇒ F D
f : C → limF
C
∆(limF )
π
//
F
∆(C)
α
::
v
v
v
v
v
v
v
v
v
v
∆(f)
OO
D
D
Ob(D).
D
(I, ≤ ) §1.2
D F C
i ∈ I F (i) C
φ
ij
: F (i) → F (j) i, j i ≤ j
φ
ii
= id
F (i)
, φ
jk
◦ φ
ij
= φ
ik
(I, ≤)
∀α, β ∈ I γ ∈ I α ≤ γ, β ≤ γ.

Страницы