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

UptoLike

ВУЗ: 

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

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

Рубрика: 

π
α
: X → X/α x ∈ X
C,
X α. C ϕ: X → Y
Y
xαy ⇒ ϕ(x) = ϕ(y) α
C ϕ: X → Y ψ : X → Z
χ: Y → Z,
X
ψ
ϕ
//
Y
χ
~~
~
~
~
~
~
~
~
~
Z
π
α
: X → X/α
C.
X
X/α
π
α
: X → X/α
π
α
C
top
C
top
ϕ: X → Y
Y
xαy ⇒ ϕ(x) = ϕ(y) C
top
ϕ: X → Y ψ : X → Z
χ: Y → Z,
π
α
: X → X/α C
top
A
Quot(A)
a/b,
a, b ∈ A, b 6= 0
(a/b ∼ a
0
/b
0
) ⇔ (b
0
a − ba
0
= 0).
Quot(A)
a/b + a
0
/b
0
= (b
0
a + ba
0
)/bb
0
, (a/b) · (a
0
/b
0
) = (aa
0
/bb
0
).
Quot(A)
j
A
: A → Quot(A), a 7→ a/1.
(K, f), K f : A → K

Страницы