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

UptoLike

ВУЗ: 

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

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

Рубрика: 

{z ∈ Z | f(K × {z}) ⊂ U} Z
z ∈
b
f
−1
(M(K, U))
b
f
−1
(M(K, U)) K × {z} ⊂ f
−1
(U)
K × {z}
V ⊂ Y, W ⊂ Z
K × {z} ⊂ V × W ⊂ f
−1
(U). W z
b
f
−1
(M(K, U))
b
f.
Y × Z
id
Y
×
b
f
−→ Y × X
Y
e
→ X
f
b
f
Y
Z
X
Y ×Z
→ (X
Y
)
Z
, f 7→
b
f
M(A × B, U) A B
Y Z U X
X
Y ×Z
M(B, M(A, U)) (X
Y
)
Z
. X
Y ×Z
→ (X
Y
)
Z
M(A × B, U) M(B, M(A, U))
π
1
: PT op → Gr
X f, g : I → X x
y x, y ∈ X f ≃ g
x y
h: I × I → X
h(s, 0) = f(s), h(s, 1) = g(s), h(0, t) = x h(1, t) = y

Страницы