Функторные морфизмы. Ершов А.В. - 64 стр.

UptoLike

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

Рубрика: 

·
x, x
, y, y
X
(x · x
) (y · y
) = (x y) · (x
y
).
·
x, y, z X.
x · y = (x e) · (e y) = ( x · e) (e · y) = x y.
·
x · y = (e x) · (y e) = (e · y) (x · e) = y x = y · x.
·
x · (y · z) = (x e) · (y z) = (x · y) (e · z) = (x · y) · z.
·
G
G
hPT op §2.2
(ΩX, ω
0
) X
x
0
§2.2 ω
0
I x
0