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

UptoLike

ВУЗ: 

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

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

Рубрика: 

m ∈
Hom
C
(X × X, X) ¯µ = h
m
.
h
m
(Y ): h
X×X
(Y ) → h
X
(Y ) t: Y → X × X
m, h
m
(t) = m◦t: Y → X.
¯µ u, v ∈ h
X
(Y ), m ◦t: Y → X,
t Y → X ×X
ι(Y ): h
X
(Y ) → h
X
(Y ), u 7→ u
−1
,
ι = {ι(Y )}: h
X
⇒ h
X
.
i: X → X
C ι = h
i
, ι(Y )(u) = i ◦ u
u ∈ h
X
(Y )
e: E → X, E ∈ Ob(C)
ε = {ε(Y )}: h
E
⇒ h
X
,
ε(Y ) h
E
(Y )
h
X
(Y ).
ε
e: E → X
C ε = h
e
m, i, e
m: X × X → X
u, v ∈ h
X
(Y ), t: Y → X × X,
[u, v]
u, v, w ∈ h
X
(Y ) [u, v, w]
Y → X × X × X
π
1
◦ [u, v, w] = u, π
2
◦ [u, v, w] = v, π
3
◦ [u, v, w] = w,

Страницы