Составители:
Рубрика:
Hom
C
(C, limF )
∼
=
Hom
D[C]
(∆(C), F ),
F : D → C D C ∈ Ob(C).
lim: D[C] → C
§1.4
M (Y, ·)
Y ·
f : (Y, ·) → (Z, ◦)
f(a · b) = f(a) ◦ f(b) ∀a, b ∈ Y.
U : M → Set
F : Set → M.
§1.4
(M(X), ⋆) X X 7→
(M(X), ⋆) Set → M.
F G
2013 - 2024 © Информационный ресурс «Zzapomni»
