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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
◦
C
(C
◦
)
◦
= C.
G
G
G
◦
G
g
1
∗g
2
:= g
2
·g
1
·
G g 7→ g
−1
G
G
◦
§1.2
C, C
◦
X ∈ Ob(C)
C, X
◦
∈ Ob(C
◦
)
C
◦
. X + Y X, Y
C, (X + Y )
◦
X
◦
, Y
◦
C
◦
,
C C
◦
C, C
′
Ob(C × C
′
) = Ob(C) × Ob(C
′
),

Страницы