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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Y
e: X
Y
× Y → X
e(f, y) = f(y)
f : Y × Z → X
b
f : Z → X
Y
,
b
f(z)(y) = f(y, z)
(f, y) ∈ X
Y
× Y
U ⊂ X f(y).
f : Y → X Y y ∈ Y
K ⊂ Y f(K) ⊂ U.
M(K, U) := {g ∈ X
Y
| g(K) ⊂ U}
X
Y
.
M(K, U) × K (f, y)
e U e
(f, y) (f, y) e
f
b
f
b
f
−1
(M(K, U)) =

Страницы