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

UptoLike

ВУЗ: 

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

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

Рубрика: 

f : GF → id
C
f(X) X ∈ Ob(C)
F (f(X)) F (f(X))
−1
. f(X)
−1
F (f(X)
−1
) = F (f(X))
−1
f(X)
−1
f(X)
−1
◦ f(X) = id
GF (X)
.
F (f(X)
−1
◦ f(X)) = F (f(X)
−1
) ◦ F (f(X)) =
F (f(X))
−1
◦ F (f(X)) = id
F GF (X)
= F (id
GF (X)
),
F
f(X) ◦ f(X)
−1
= id
X
. f
g = {g(Y )}: F G →
id
D
f = {f(X)}: GF → id
C
G F F
.
C
C C
0
, A
0
∈ Ob(C)
Hom
C
(A
0
, A
0
).
C n
p p
F C
0
C,
K R, S
R
Mod
S
Mod
M
n
(k) k
n
k
k
k k k

Страницы