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

UptoLike

ВУЗ: 

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

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

Рубрика: 

α
N
◦ φ: M → S(N) S(ψ ◦ φ) = S(ψ) ◦ S(φ)
S(id
M
) = id
S(M)
. S
Mon
Ab
§1.4 Met →
Commet Met
Commet
§1.4 β : T op → CHaus
T op
CHaus
C
R C/R.
F : C → C/R,
C
F : T op → hT op
C X ∈ Ob(C)
h
′
X
: C → Set
h
′
X
(Y ) = Hom
C
(X, Y ),
h
′
X
(f)(φ) = f ◦ φ ∈ Hom
C
(X, Y
′
), φ ∈ Hom
C
(X, Y ), f : Y → Y
′
.
Y ∈ Ob(C)
Hom
C
(X, Y ) ∈ Ob(Set), f ∈ Hom
C
(Y, Y
′
)
h
′
X
(f): Hom
C
(X, Y ) → Hom
C
(X, Y
′
),
φ ∈ Hom
C
(X, Y ) f ◦ φ ∈ Hom
C
(X, Y
′
)
h
′
X

Страницы