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

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

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

Рубрика: 

C
S
,
(S, id
S
), C
S
(S, id
S
).
{X
α
}
α∈A
C.
C
A
, C
A
(Y, {f
α
}
α∈A
), Y ∈ Ob(C), f
α
∈ Hom
C
(X
α
, Y ) ∀α ∈ A.
C
A
(Y, {f
α
}
α∈A
) (Z, {g
α
}
α∈A
)
h: Y → Z C α ∈ A
X
α
f
α
~~
|
|
|
|
|
|
|
|
g
α
!!
B
B
B
B
B
B
B
B
Y
h
//
Z.
C
A
(X, {i
α
}
α∈A
)
X {X
α
}
α∈A
, i
α
: X
α
→ X
X
α
P X
α
π
α
∈
Hom
C
(P, X
α
)
R
M
1
, . . . , M
n
R R = k
M
1
, . . . , M
n
k
ϕ: M
1
×
. . . × M
n
→ M R M
ϕ: M
1
× . . . × M
n
→ M ϕ
0
: M
1
× . . . × M
n
→ M
0
R ψ : M → M
0
,
M
1
× . . . × M
n
ϕ
//
ϕ
0
M
ψ
ww
p
p
p
p
p
p
p
p
p
p
p
p
p
M
0
R M
1
, . . . , M
n
X
α X/α

Страницы