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

UptoLike

ВУЗ: 

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

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

Рубрика: 

(k{S}, i
S
)
f : S → A k A
¯
f : k{S} → A
S
i
S
//
f
k{S}
¯
f
||
y
y
y
y
y
y
y
y
A
¯
f(∅) = 1
A
, 1
A
A
s
i
1
. . . s
i
p
¯
f(s
i
1
. . . s
i
p
) = f(s
i
1
) . . . f(s
i
p
)
¯
f k{S}
¯
f S
k{S}
S
k[S]
Alg
k
k
S = {s
1
, . . . , s
n
} n
k[S]
∼
=
k[s
1
, . . . , s
n
] n
U
1
, . . . , U
n
.
k U
1
, . . . , U
n
k
(V, f), V
f : U
1
× . . . × U
n
→ V (V, f)
(W, g) φ: V → W,

Страницы