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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Set
X ∈ Ob(C) id
X
id
X
, id
′
X
id
X
= id
X
◦ id
′
X
= id
′
X
A, B
f : A → B, g, h: B → A
A
f
//
B.
g
WW
h
id
A
: A →
A, id
B
: B → B
A, B
f : X → Y C
g : Y → X f ◦ g =
id
Y
, g ◦ f = id
X

Страницы