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

UptoLike

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

Рубрика: 

s
1
3
s
1
s
1
2
s
1
2
s
1
1
e
S F
S
.
i
S
: S F
S
i
S
(s)
s
(F
S
, i
S
)
g : S G
φ: F
S
G (F
S
, i
S
) (F
S
, i
S
)
φ(s) = g(s) s S
φ
G φ(s
1
) = φ(s)
1
.
F
S
S
(F
S
, i
S
) (F
S
, i
S
)
S = {s
1
, . . . , s
n
} F
S
n F
n
F
1
=
Z
F
n
n F
S
1
⨿
S
2
=
F
S
1
F
S
2
b
) §1.3
F
S
S
a
) §1.3.