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

UptoLike

ВУЗ: 

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

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

Рубрика: 

(T ; y
1
, . . . , y
l(T )
) µ
T
(y
1
, . . . , y
l(T )
)
X
M(X) :=
⨿
T
{T } × X
l(T )
.
M(X) ⋆
(T
′
, T
′′
) 7→ T
′
∗ T
′′
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
A
A
A
l(T
′
∗ T
′′
) = l(T
′
) + l(T
′′
).
(T
′
; x
′
1
, . . . , x
′
l(T
′
)
) ⋆ (T
′′
; x
′′
1
, . . . , x
′′
l(T
′′
)
) = (T
′
∗ T
′′
; x
1
, . . . , x
l(T
′
)+l(T
′′
)
),
x
i
= x
′
i
1 ≤ i ≤ l(T
′
) x
l(T
′
)+j
= x
′′
j
1 ≤ j ≤ l(T
′′
).
(M(X), ⋆)
i
X
: X ⊂ M(X)
J
1
τ x ∈ X
(τ, x) ∈ M(X) ψ
ψ(T ; x
1
, . . . , x
l(T )
) = µ
T
(φ(x
1
), . . . , φ(x
l(T )
)).
((M(X), ⋆), i
X
)

Страницы