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

UptoLike

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

Рубрика: 

F
S
S
S G G
F
S
S
S
S C
(A, f)
A Alg
k
f : S A S A
A C
(A, f) Ob(C) (B, g) Ob(C)
h: A B
S
f
//
g
A
h
~
~
~
~
~
~
~
~
B
h
A B
C k
S
k{S}
s
i
1
. . . s
i
p
S
(s
i
1
. . . s
i
p
)(s
i
p+1
. . . s
i
n
) = s
i
1
. . . s
i
p
s
i
p+1
. . . s
i
n
k{S}
k{S} 1 = .
i
S
: S k{S}.