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

UptoLike

ВУЗ: 

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

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

Рубрика: 

F
X
φ
//
X
′
GF (X)
f(X)
OO
GF (φ)
//
GF (X
′
).
f(X
′
)
OO
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)}: G ◦ F ⇒ id
C
,
G F F
.
sk C C.
C
C
sk C
C
J : sk C → C

Страницы