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

UptoLike

ВУЗ: 

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

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

Рубрика: 

π
i
: X × X × X → X i i = 1, 2, 3.
(X × X) ×X
∼
=
X × X × X
∼
=
X × (X × X),
[[u, v], w], [u, v, w] [u, [v, w]]
uv = µ(Y )(u, v) = m ◦ [u, v] ∀u, v ∈ h
X
(Y ).
h
X
(Y )
m ◦[m ◦ [u, v], w] = m ◦ [u, m ◦ [v, w]].
X × X
m
//
X
Y
[u, v]
88
q
q
q
q
q
q
q
q
q
q
q
q
q
α
//
w
&&
M
M
M
M
M
M
M
M
M
M
M
M
M
M
(X × X) × X
π
1
OO
π
2
m×id
X
//
X × X
π
1
OO
π
2
X
id
X
//
X,
α [[u, v], w]
m × id
X
[m◦π
1
, id
X
◦π
2
] = [m◦π
1
, π
2
].
(m × id
X
) ◦ [[u, v], w] = [m ◦[u, v], w].
(id
X
×m) ◦ [u, [v, w]] = [u, m ◦ [v, w]].

Страницы