Magmoid

Magmoid homomorphism

A magmoid homomorphism 𝐹 :ℳ →𝒩 is a structure-preserving map between magmoids. It associates:

• An object 𝐹𝑋 ∈𝒩 for every 𝑋 ∈ℳ
• An arrow 𝐹𝛼 ∈𝒩(𝐹𝑋,𝐹𝑌) for every 𝛼 ∈ℳ(𝑋,𝑌)

such that (𝐹𝛼) ⊙(𝐹𝛽) =𝐹(𝛼 ⊙𝛽) for any 𝛼 ∈ℳ(𝑋,𝑌) and 𝛽 ∈ℳ(𝑌,𝑍).

#state/tidy | #lang/en | #SemBr