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

UptoLike

ВУЗ: 

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

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

Рубрика: 

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

Страницы