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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Φ |
X×{0}
Φ |
X×{1}
Φ X ×
{0} ⊂ X × I X × {1}
X → Y
f [f]
hT op
Ob(hT op) = Ob(T op)
Ob(T op)
Hom
hT op
(X, Y ) = {
X Y }.
f
1
, g
1
: X → Y f
2
, g
2
: Y → Z
f
2
◦ f
1
, g
2
◦ g
1
: X → Z
[f
2
] ◦ [f
1
] := [f
2
◦ f
1
]
f : X → Y
[f] hT op
x
x → x

Страницы