Abstract algebra MOC

Magmoid

A magmoid¹ is the oidification of a magma. A (small) magmoid ℳ consists of algebra

• a set of objects Ob⁡(ℳ)

• for every pair of objects 𝑋,𝑌 ∈Ob⁡(ℳ) a set of arrows ℳ(𝑋,𝑌)

• an operation ( ⊙) so that given 𝛼 ∈ℳ(𝑋,𝑌) and 𝛽 ∈ℳ(𝑌,𝑍) we have 𝛽 ⊙𝛼 ∈ℳ(𝑋,𝑍)

See Magmoid homomorphism and Category of magmoids.

Examples

• Topological path algebra

---

tidy | en | SemBr

Footnotes

1. Also partial magma ↩