Элементы теории категорий. Ершов А.В. - 19 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

A K (K, f) (L, g)
ϕ: K → L,
A
g
f
//
K
ϕ
~~
~
~
~
~
~
~
~
~
L
(Quot(A), j
A
)
k V k
T (V ) V, i
V
: V → T (V )
V T
1
(V ) ⊂ T (V )
C
ϕ: V → A, A
k
ϕ: V → A ψ : V → B k χ: A → B,
V
ψ
ϕ
//
A
χ
~
~
~
~
~
~
~
B
i
V
: V → T (V )
C
V
A
¯
i
V
: V → S(V )
S(V ) V
¯
i
V
C
C
0
Ob(C
0
) = Ob(C)

Страницы