Homotopy Type Theory
biaction > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Idea
A ternary function which behaves as simultaneous actions on both the left and the right side:
Definition
Given a set and monoids and , a two-sided action is a ternary functionbiaction is a ternary function such that
-
for all ,
-
for all , , , , and ,
The left action is defined as
Left and right actions
The left $M$-action? is defined as
for and , and the right action is defined as
for all and . It is a left action because
for and .
The right $N$-action? is defined as
for all and . It is a right action because
The left -action and right -action satisfy the following identity:
- for all , and , .
This is because when expanded out, the identity becomes:
See also
Revision on May 25, 2022 at 03:20:18 by
Anonymous?.
See the history of this page for a list of all contributions to it.