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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Vect
f
k
X, Y
C X + Y, i
X
, i
Y
X × Y, π
X
, π
Y
(R, i
X
, i
Y
) (S, i
′
X
, i
′
Y
)
X Y. h: S →
R, k : R → S,
X
i
X
//
i
′
X
!!
B
B
B
B
B
B
B
B
R
k
Y
i
Y
oo
i
′
Y
~~
}
}
}
}
}
}
}
}
S.
h
OO
i
X
= h ◦ i
′
X
, i
′
X
= k ◦ i
X
, i
X
= (h ◦ k) ◦ i
X
,
i
Y
= (h ◦ k) ◦ i
Y
. h ◦ k
X
i
X
//
i
X
A
A
A
A
A
A
A
A
R
h◦k
Y
i
Y
oo
i
Y
~
~
~
~
~
~
~
~
R
h ◦ k id
R
. h
h ◦ k = id
R
.
k ◦ h = id
S
. R, i
X
, i
Y
S, i
′
X
, i
′
Y
X Y
h: S → R k : R → S, i
X
= h ◦ i
′
X
, i
Y
= h ◦ i
′
Y
i
′
X
= k ◦ i
X
, i
′
Y
= k ◦ i
Y
.

Страницы