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