Составители:
Рубрика:
S(ϕ): S(M) → S(N)
M
ϕ
//
α
M
N
α
N
S(M)
S(ϕ)
//
S(N)
α
N
◦ ϕ : M → S(N) S(ψ ◦ ϕ) = S(ψ) ◦S(ϕ) S(id
M
) =
id
S(M)
. S
Mon Ab
F Ab Mon
A
Hom
Ab
(S(M ), A)
∼
=
Hom
Mon
(M, F (A)).
Commet → Met
Commet
Met Met
Ω
M
(Y, ·), Y
· f : (Y, ·) → (Z, ◦)
f(a · b) = f(a) ◦ f(b) ∀a, b ∈ Y.
Y µ: Y × Y → Y
µ a · b =
µ(a, b) ∀a, b ∈ Y. G: M → Sets
F : Sets → M.
µ
n
n
