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

UptoLike

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

Рубрика: 

X × X × X
id
X
×m
m×id
X
//
X × X
m
X × X
m
//
X
X × X
τ×id
X
//
E × X
e×id
X
//
X × X
m
X
δ
OO
id
X
//
X
τ
X × X
i×id
X
//
X × X
m
X
δ
OO
τ
//
E
e
//
X
X Ob(C)
C
(X, m, i, e)
Set X
G
e
e
G h
g G, hg = e, hgh = eh = h
h, gh = e, h g
ge = ghg = eg = g, e