Module over a 𝕂-monoid

Regular representation

The regular representation Λ :𝐴 End(𝐴) of an 𝕂-monoid 𝐴 is a natural Representation of 𝐴 carried by itself, where

Λ(𝑎)𝑏=𝑎𝑏

Thus every 𝕂-monoid is a module 𝐴𝐴 over itself.


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