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

UptoLike

ВУЗ: 

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

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

Рубрика: 

b
C = Funct(C
◦
, Set)
Funct(C
◦
, Set) C → Set
h
X
: C
◦
→ Set, h
X
(Y
◦
) = Hom
C
(Y, X)
b
C.
Z ∈ Ob(C) h
X
(Z)
X
h
X
C = Set Z = ∗ ∈ Ob(Set)
∀X ∈ Ob(Set)
h
X
(Z) X
f : Z → X f(∗) Z
T op,
Gr Z = Z
G h
G
(Z)
G
f : Z → G f(1) ∈ G

Страницы