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

UptoLike

ВУЗ: 

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

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

Рубрика: 

t = [u, u] h
i×id
X
(h
δ
(u))
s: Y → X × X,
X X × X
π
1
oo
π
2
//
X
Y
i◦u
dd
I
I
I
I
I
I
I
I
I
I
s
OO
u
::
u
u
u
u
u
u
u
u
u
u
h
m
(h
i×id
X
(h
δ
(u))) = m ◦ s: Y → X
u
−1
u.
h
e
(h
τ
(u))
h
X
(Y ), u ∈ h
X
(Y ) Y
u
→ X
τ
→ E
Y → E
u
−1
u = e ◦ τ.
uu
−1
= e ◦ τ.
(e ◦ τ)u = u.
uu
−1
= (e ◦ τ)uu
−1
= (u
−1
)
−1
u
−1
uu
−1
=
(u
−1
)
−1
(e ◦ τ)u
−1
= (u
−1
)
−1
u
−1
= e ◦ τ
u
−1
:= i ◦ u
u u
−1
u
−1
u(e ◦ τ) = uu
−1
u = (e ◦ τ)u = u.
Y ∈ Ob(C) h
X
(Y )
Y

Страницы