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

UptoLike

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

Рубрика: 

U Ob(C)
f .
§1.4
h
X
(Y × Z) = Hom
C
(X, Y × Z)
=
Hom
C
(X, Y ) × Hom
C
(X, Z) = h
X
(Y ) × h
X
(Z)
C
Hom
hT op
(X, Y ) Hom
hPT op
((X, x
0
), (Y, y
0
)) §1.2
§2.2
[X, Y ] [(X, x
0
), (Y, y
0
)]
§2.2
π
0
: hT op Set
π
n
: hPT op PSet n 0 (S
n
, s
0
).
π
n
(X, x
0
) :=
[(S
n
, s
0
), (X, x
0
)]