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

UptoLike

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

Рубрика: 

T
F : Set Set, F (S) = S × T
T
§2.1
U : Gr Set F
S F
S
S
φ: S T F (φ): F
S
F
T
§1.4 §2.1
F
S
: G
f : S U(G)
e
f : F
S
G
S
i
S
//
f
U(F
S
)
U(
e
f)
zz
u
u
u
u
u
u
u
u
u
U(G)
i
S
: S U(F
S
)
Hom
Set
(S, U(G)) Hom
Gr
(F
S
, G), f 7→
e
f.
Hom
Gr
(F
S
, G) Hom
Set
(S, U(G))
g : F
S
G
S F
S
,
bg : S U(G).