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

UptoLike

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

Рубрика: 

x, y X x y
x y
Rel
Rel Set
Hom
Rel
(X, Y )
X × Y
φ: X Y ψ : Y Z
ψ φ = {(x, z) X × Z | y Y (x, y) φ, (y, z) ψ}.
id
X
id
X
= {(x, x) | x X} X × X.
S P(S)
S
E B
p: E B
b B V
p
1
(V ) E p
V
g : E E
S X × X
R X S X × X R
S
xR
S
y (x, y) S