Элементы теории категорий. Ершов А.В. - 58 стр.

UptoLike

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

Рубрика: 

D
G: D C D C.
Quot: C D G
A Ob(C). K D
ϕ: A K
eϕ: Quot(A) K
A
j
A
//
ϕ
Quot(A)
eϕ
zz
u
u
u
u
u
u
u
u
u
K
j
A
: A Quot(A)
ϕ 7→ eϕ Hom
C
(A, G(K))
Hom
D
(Quot(A), K)
Vect
k
k
L, M Ob(Vect
k
) L(L, M)
L M. U, V, W
Ob(Vect
k
)
L(U V, W )
=
L(U, L(V, W )).
U, V, W Ob(Vect
k
) L(U, V ; W )
U × V W.
L(U V, W )
U V W L(U, V ; W )
f : (u, v) 7→ f(u, v)
u
e
f
u
: V W, v 7→
e
f
u
(v) = f(u, v) u
L(U V, W ) = L(U, V ; W ) L(U, L(V, W )), f(u, v) 7→ {u 7→
e
f
u
(v)}.
k F
V
: Vect
k
Vect
k
, U 7→ U V G
V
: Vect
k
Vect
k
, W 7→ L(V, W ).
R, S M =
R
M
S
(R, S)
R S
(rm)s = r(ms) r R, s S, m M
X 7→ M
S
X :
S
Mod
R
Mod