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

UptoLike

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

Рубрика: 

ϑ: T (V ) A,
V
i
V
//
φ
T (V )
ϑ
||
y
y
y
y
y
y
y
y
y
A
φ(v)
2
= Q(v) · 1
A
ϑ
v v Q(v) · 1
T (V )
T (V ), v V
0 I(Q) T (V )
ϑ.
B := T (V )/I(Q),
ϑ
ψ : B A.
j := π i
V
: V B, π : T (V ) T (V )/I(Q)
j(v)
2
= Q(v)· 1
B
. (B, j)
B = C(V, Q).
ψ ϑ
K
Q = 0
k A
a, b A
[a, b] [a, b] = ab ba ab
A
A
L
.