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

UptoLike

ВУЗ: 

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

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

Рубрика: 

i
X
(X)
¯
X
X
(βX, i
X
),
βX i
X
: X → βX
f : X → K K
βf : βX → K
X
i
X
//
f
βX
βf
}}
{
{
{
{
{
{
{
{
K
X βX.
βX
X
X βX
N
βN 2
ℵ
, ℵ
M
(Y, ·), Y ·
f : (Y, ·) → (Z, ◦)
f(a·b) = f(a)◦f(b) ∀a, b ∈ Y.
Y
µ: Y × Y → Y
X X
((M(X), ⋆), i
X
) (M(X), ⋆) i
X
: X → M(X)

Страницы