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

UptoLike

ВУЗ: 

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

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

Рубрика: 

(T
V
, i
V
)
β
B
(f ◦ ψ) = f ◦ β
A
(ψ)
h
′
T (V )
(A)
h
′
T (V )
(f)
//
β
A
h
′
T (V )
(B)
β
B
ψ
//
f ◦ ψ
F
V
(A)
F
V
(f)
//
F
V
(B) β
A
(ψ)
//
f ◦ β
A
(ψ) = β
B
(f ◦ ψ)
α
(T
V
, i
V
)
A ∈ Ob(Alg
k
) β
A
: h
′
T (V )
(A) →
F
V
(A) β
.
§1.3 X×Y
X, Y C Z ∈ Ob(C)
X
π
X
← Z
π
Y
→ Y,
X
u
← Z
′
v
→ Y h: Z
′
→ Z,
u = π
X
◦ h, v = π
Y
◦ h (Z, π
X
, π
Y
)
X ×Y
(Z, g) C
◦
→ Set
U ∈ Ob(C)
U 7→ h
X
(U) × h
Y
(U)
(Z, g) U 7→ h
X
(U)×
h
Y
(U) U ∈ Ob(C)
g(U): h
Z
(U)
∼
→ h
X
(U) × h
Y
(U).
U = Z. h
Z
(Z)
id
Z
; (π
X
, π
Y
) ∈ h
X
(Z) × h
Y
(Z).

Страницы