Категории и функторы. Ершов А.В. - 52 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

Y
φ: X → Y
ψ : M(X) → Y
X
i
X
//
φ
M(X)
ψ
{{
w
w
w
w
w
w
w
w
w
Y
µ
n
n
@
@
@
@
@
@
A
A
A
((ab)c)(de)
n J
n
J
n
(Y, ·) T ∈ J
n
µ
T
: Y
n
→ Y T
µ
T
(y
1
, y
2
, y
3
, y
4
, y
5
) = ((y
1
y
2
)y
3
)(y
4
y
5
)
l(T )
T.
M(Y ) :=
⨿
T
{T } × Y
l(T )
.
(Y, ·) eµ: M(Y ) → Y,

Страницы