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

UptoLike

ВУЗ: 

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

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

Рубрика: 

T (V ) F
V
α: h
′
T (V )
⇒
F
V
α
T (V )
: h
′
T (V )
(T (V ))
∼
=
F
V
(T (V )).
i
V
:= α
T (V )
(id
T (V )
): V → T (V ).
(T (V ), i
V
)
φ: V → A
ψ : T (V ) → A
α
A
(ψ) = φ φ
α
A
: h
′
T (V )
(A)
∼
=
F
V
(A).
id
T (V )
h
′
T (V )
(T (V ))
α
T (V )
//
h
′
T (V )
(ψ)
F
V
(T (V ))
F
V
(ψ)
h
′
T (V )
(A)
α
A
//
F
V
(A).
α
A
(h
′
T (V )
(ψ)(id
T (V )
)) = α
A
(ψ) = φ;
F
V
(ψ)(α
T (V )
(id
T (V )
)) = F
V
(ψ)(i
V
) = ψ ◦ i
V
,
ψ ◦ i
V
= φ
ψ
β : h
′
T (V )
⇒ F
V
β
A
(ψ) = φ f : A →
B Alg
k
V
i
V
//
β
A
(ψ)
T (V )
ψ
||
z
z
z
z
z
z
z
z
z
f◦ψ
A
f
//
B,

Страницы