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

UptoLike

ВУЗ: 

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

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

Рубрика: 

p: E → B p
′
: E
′
→ B B
E
g
//
p
@
@
@
@
@
@
@
@
E
′
p
′
~~
}
}
}
}
}
}
}
}
B
B
Cov(B) B
C
R C
X, Y R
X, Y
Hom
C
(X, Y )
f
1
, f
2
: X → Y
R
X, Y
g
1
, g
2
: Y → Z
R
Y, Z
g
1
◦f
1
g
2
◦f
2
: X → Z
R
X, Z
R C
C/R
C C
Hom
C/R
(X, Y ) = Hom
C
(X, Y )/R
X, Y
.
C/R R
E B
p p
′
◦ g
p = p
′
◦ g

Страницы