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

UptoLike

ВУЗ: 

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

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

Рубрика: 

T ∈ Ob(T op)
p, q ∈ T, p 6= q U, V ⊂ T
p ∈ U, q ∈ V U ∩ V = ∅
T ∈ T op
T = ∪
λ∈Λ
U
λ
C
A ∈ Ob(C)
A, B ∈ Ob(C) f ∈ Hom
C
(A, B)
A, B ∈ Ob(C) A×B ∈
Ob(C).
T op Diff ,
T
P(T ),
T
P(S)
S T op(T )
T
P(T )
A ∈ Ob(C) δ
A
: A −→ A × A,
A
id
A
−→ A. δ
A
A → A × A,
A
A × A
π
1
oo
π
2
//
A
A
id
A
;;
x
x
x
x
x
x
x
x
x
x
id
A
cc
G
G
G
G
G
G
G
G
G
δ
A
OO
∆
A
δ
A
. δ
A
: A →
A × A C A,

Страницы