Abstract algebra MOC

Magmoid

A magmoid¹ is the oidification of a magma. A (small) magmoid $ℳ$ consists of #m/def/algebra

a set of objects $O b (ℳ)$
for every pair of objects $𝑋, 𝑌 \in O b (ℳ)$ a set of arrows $ℳ (𝑋, 𝑌)$
an operation $(⊙)$ so that given $𝛼 \in ℳ (𝑋, 𝑌)$ and $𝛽 \in ℳ (𝑌, 𝑍)$ we have $𝛽 ⊙ 𝛼 \in ℳ (𝑋, 𝑍)$

See Magmoid homomorphism and $𝖬 𝖺 𝗀 𝖽$ .

Examples

Topological path algebra

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

Also partial magma ↩