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

UptoLike

ВУЗ: 

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

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

Рубрика: 

S
f
//
g
V
φ
~~
|
|
|
|
|
|
|
|
W
(V
S
, i
S
)
S
V
′
S
{e
s
}
s∈S
e
s
s ∈ S V
′
S
s
α
s
e
s
, α
s
∈ k α
s
̸= 0
s i
′
S
: S → V
′
S
i
′
S
(s) = e
s
(V
′
S
, i
′
S
)
C
(W, g)
φ: V
′
S
→ W,
S
i
′
S
//
g
V
′
S
φ
~~
}
}
}
}
}
}
}
W
e
s
φ
φ(e
s
) = φ(i
′
S
(s)) = g(s).
v ∈ V
′
S
φ
v =
s
α
s
e
s
φ(v) = φ(
s
α
s
e
s
) =
s
α
s
φ(e
s
) =
s
α
s
g(s).
φ
e
s
v ∈ V
′
S
v =
s
α
s
e
s
φ
v ∈ V
′
S
v =
s
α
s
e
s
φ

Страницы