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

UptoLike

ВУЗ: 

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

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

Рубрика: 

S, T U
Hom
Set
(S × T, U)
≃
→ Hom
Set
(S, Hom
Set
(T, U)), f 7→
e
f,
e
f(s)(t) = f(s, t) ∀f ∈ Hom
Set
(S × T, U), s ∈ S, t ∈ T.
T
F, G: Set → Set
F (S) = S × T, G(U) = Hom
Set
(T, U).
Hom
Set
(F (S), U)
≃
→ Hom
Set
(S, G(U)).
Set
◦
× Set → Set
S U
C, D F : C → D
Y ∈ Ob(D) T 7→ Hom
D
(F (T ), Y )

Страницы