Категории и функторы. Ершов А.В. - 31 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

h: A⊗
k
B → C
A × B
τ
//
λ
A⊗
k
B
h
zz
u
u
u
u
u
u
u
u
u
u
C
λ
λ(a, b) = f(a)g(b) ∀a ∈ A, b ∈ B.
h(a ⊗ b) = h(τ(a, b)) = f(a)g(b).
h
h(a ⊗ b) = h(i
A
(a)i
B
(b)) = h(i
A
(a))h(i
B
(b)) = f(a)g(b),
h
a ⊗ b
h(a ⊗ b)h(a
′
⊗ b
′
) = f(a)g(b)f(a
′
)g(b
′
) =
f(a)f(a
′
)g(b)g(b
′
) = f(aa
′
)g(bb
′
) = h(aa
′
⊗ bb
′
).
h
A ⊗ B a ⊗ b
h f ⊗ g
P(S),
X, Y ⊂ S,
X ∩ Y X Y S
π
X
: X ∩ Y → X, π
Y
: X ∩ Y → Y
X Y X Y
X ∪ Y X Y S,
i
X
: X → X ∪ Y, i
Y
: Y → X ∪ Y

Страницы