![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
Mar. 7th, 2021 06:37 pmUsually the key aspect of an action of some is that itself carries an algebraic structure, such as being a group (or just a monoid) or being a ring or an associative algebra, which is also possessed by and preserved by the curried action . Note that if is any set then is a monoid,
https://ncatlab.org/nlab/show/action
also see Lawvere, 1986
===
MxA-> A
UxA -> A
https://ncatlab.org/nlab/show/action
also see Lawvere, 1986
"Historically the notion of monoid (or of group in particular) was abstracted from the actions, a pivotally important abstraction since as soon as a particular action is constructed or noticed, the demands of learning, development, and use mutate it into: 1) other actions on the same object, 2) actions on other related objects, and 3) actions of related monoids. "
===
MxA-> A
UxA -> A
