Элементы теории категорий. Ершов А.В. - 15 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

s
i
s
−1
i
. A B
B A
s
i
s
−1
i
,
s
−1
3
s
1
s
−1
2
s
−1
2
s
−1
1
n S
n
S
n
n
Z ⊕ Z Z ? Z = S
2
Ab Gr
R
R
A ⊕ B π
A
: A ⊕ B → A π
B
: A ⊕ B → B
f : A → A ⊕ B g : B → A ⊕ B
a ∈ A b ∈ B A ⊕ B ab = 0,
C A
0
B
0
A B
h: A ⊕ B → C
R =
Z, A = B = Z[t], C = Z[x, y] u: A → C, v : B → C,
u(t) = x, v(t) = y
A⊗
R
B R
i
A
: A → A⊗
R
B, a 7→ a ⊗ 1
B
, i
B
: B → A⊗
R
B, b 7→ 1
A
⊗ b 1
A
1
B
A B
P(S),
X, Y ⊂ S, X ∩ Y
X Y S
π
X
: X ∩ Y → X, π
Y
: X ∩ Y → Y X Y
X Y X ∪Y X Y S,
i
X
: X → X ∪Y, i
Y
: Y → X ∪ Y
X, Y C
X +Y, i
X
, i
Y
X ×Y, π
X
, π
Y
R, i
X
, i
Y
S, i
0
X
, i
0
Y
X Y.

Страницы