Функторные морфизмы. Ершов А.В. - 40 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

Hom
b
C
(h
X
, h
Y
) = Nat(h
X
, h
Y
)
Nat(h
X
, h
Y
)
∼
=
h
Y
(X) = Hom
C
(X, Y ).
b
C
X
F ∈
b
C
h
X
X ∈ Ob(C).
Hom
C
(X, Y )
∼
→ Hom
b
C
(h
X
, h
Y
)
α: h
X
→ h
Y
α
X
(id
X
): X → Y.
n k
c: V B
n
k
(. . .) →
e
H
m
(. . . , π)
hT op → Set
c
BU(n) → K(π, m) k = C BO(n) → K(π, m) k = R
e
H
m
(BU(n), π)
e
H
m
(BO(n), π)
(m, n; Π, G) φ:
e
H
m
(. . . , Π) →
e
H
n
(. . . , G) hT op → Set m, n
Π, G
φ
K(Π, m) → K(G, n)
e
H
n
(K(Π, m), G)
(m, n; Π, G)
BU(n), BO(n) K(Π, m)

Страницы