Элементы теории категорий. Ершов А.В. - 51 стр.

UptoLike

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

Рубрика: 

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
cc
H
H
H
H
H
H
H
H
H
H
t
OO
u
;;
v
v
v
v
v
v
v
v
v
v
t = [u, u] h
i×id
X
(h
δ
(u)) s: Y X × X,
X
X × X
π
1
oo
π
2
//
X
Y
iu
cc
H
H
H
H
H
H
H
H
H
H
s
OO
u
;;
v
v
v
v
v
v
v
v
v
v
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(eτ) = uu
1
u = (eτ)u = u.