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

UptoLike

ВУЗ: 

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

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

Рубрика: 

∆(f): ∆(C) ⇒ ∆(C
′
)
∆(f)(d) = f : C = ∆(C)(d) → C
′
= ∆(C
′
)(d) ∀d ∈ Ob(D).
φ: d → d
′
D
∆(C)(d)
∆(f)(d)
//
∆(C)(φ)
∆(C
′
)(d)
∆(C
′
)(φ)
C
f
//
id
C
C
′
id
C
′
∆(C)(d
′
)
∆(f)(d
′
)
//
∆(C
′
)(d
′
) C
f
//
C
′
,
∆(f)
∆(g ◦ f) = ∆(g) ◦ ∆(f), ∆
C D[C]
D F C
F
,
(C, α) C ∈ Ob(C)
D α: F ⇒ ∆(C) (C, α) → (C
′
, α
′
)
C
F
f : C → C
′
C
F
α
//
α
′
∆(C)
∆(f)
zz
u
u
u
u
u
u
u
u
u
∆(C
′
)
(colimF, ι) D F
C
F
α: F ⇒ ∆(C) D
f : colimF → C C
F
ι
//
α
∆(colimF )
∆(f)
xx
q
q
q
q
q
q
q
q
q
q
∆(C)

Страницы