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

UptoLike

ВУЗ: 

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

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

Рубрика: 

k k = R C
F F (U)
f : U → k, ρ
F
U, V
U V.
h
′
X
: C → Set Y 7→ Hom
C
(X, Y )
Hom
C
(Y, X)
h
X
: C → Set, Y ∈ Ob(C)
h
X
(Y ) = Hom
C
(Y, X),
f : Y
′
→ Y C
h
X
(f): Hom
C
(Y, X) → Hom
C
(Y
′
, X)
Set, φ ∈
Hom
C
(Y, X) h
X
(f)(φ) = φ ◦ f ∈ Hom
C
(Y
′
, X)
Hom
C
§1.5 Hom
C
: C
◦
× C → Set.

Страницы