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

UptoLike

ВУЗ: 

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

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

Рубрика: 

∆
A
⊂ A × A
A ∈ Ob(C) ∆
A
A × A A × A
A ∈ Ob(C) B ∈ Ob(C)
A × B
π
B
−→ B
π
B
A × B
B; A×B
C.
C
C
A ∈ Ob(C)
A p, q ∈ A, p 6= q,
U, V p q
(p, q) ∈ U × V ⊂ A × A − ∆
A
A × A,
A × A − ∆
A
∆
A
A (p, q) ∈ A × A − ∆
A
p 6= q
A×A−∆
A
W (p, q)
∆
A
.
U × V (p, q),
W. U ∩ V = ∅, p ∈ U, q ∈ V.
C
A ∈ Ob(C) A

Страницы