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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Alg 1,
Alg
1 1. Z = Z[x]
f : Z → R f(x) ∈ R.
Z
P(S), S
§1.2 S
F ∈ Ob(
b
C)
h
X
X ∈ Ob(C). X
F F (X, Φ),
Φ: h
X
⇒ F
C F ∈ Ob(
b
C)
F : C → Set
h
′
X
X
§2.3
F : C → Set G = F ◦ Rev : C
◦
→
Set Rev : C
◦
→ C
F : C → Set
h
′
X
§2.1
G C
◦
X
◦
h
′
X
(Y ) = Hom
C
(X, Y ) = Hom
C
◦
(Y
◦
, X
◦
) = h
X
◦
(Y
◦
), ∀Y ∈ Ob(C).

Страницы