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

UptoLike

ВУЗ: 

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

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

Рубрика: 

M
α
M
//
f
S(M)
e
f
{{
w
w
w
w
w
w
w
w
w
A
S(M)
F(M)
[m], m ∈ M
[m + n] − [m] − [n] ∈ F(M) m + n
M α
M
(m) [m]
(S(M), α
M
)
(X, d)
((
¯
X,
¯
d), i
X
)
(
¯
X,
¯
d)
i
X
: (X, d) → (
¯
X,
¯
d)
(Y, ρ)
φ: (X, d) → (Y, ρ)
ψ : (
¯
X,
¯
d) → (Y, ρ),
X
i
X
//
φ
¯
X
ψ
~~
~
~
~
~
~
~
~
~
Y
φ: (X, d) → (Y, ρ)
ρ(φ(x
1
), φ(x
2
)) = d(x
1
, x
2
) ∀x
1
, x
2
∈ X

Страницы