Функторные морфизмы. Ершов А.В. - 82 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

k (k[S], i
S
)
S
S = {x
1
, . . . , x
n
}
k[S]
∼
=
k[x
1
, . . . , x
n
]
k n
k A
Hom
Alg
k
(k[x
1
, . . . , x
n
], A)
∼
=
Hom
Set
({x
1
, . . . , x
n
}, U(A))
Alg
k
k
{(a
1
, . . . , a
n
) | a
i
∈ A, 1 ≤ i ≤ n} = A
n
.
U : T op → Set
F X
e
X := (X, O), O
X
X T
X
U : T op → Set
U : Alg
k
k) → Vect
k
.
U T,
V ∈ Ob(Vect
k
)
T (V ) ∈ Ob(Alg
k
), f : V → W
T (f): T (V ) → T(W)
§1.4 §2.1
T (V ) A ∈ Ob(Alg
k
)
f : V → A

Страницы