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

UptoLike

ВУЗ: 

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

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

Рубрика: 

π
X
◦h = u, π
Y
◦h = v
h h(z) = (u(z), v(z)) ∀z ∈
Z
C
X, Y ∈ Ob(C)
C X + Y i
X
: X →
X + Y, i
Y
: Y → X + Y,
Z ∈ Ob(C)
u: X → Z, v : Y → Z
h: X + Y → Z,
Set
T op
§1.2
(X, O
X
), (Y, O
Y
)
O
X
, O
Y
X × Y O
X×Y
U × V, U ∈ O
X
, V ∈ O
Y
π
X
: X × Y → X, π
Y
: X × Y → Y
U ⊂ X π
−1
X
(U) =
U × Y X × Y,
π
Y
: X × Y → Y
(X × Y, O
X×Y
)

Страницы