Homotopy Type Theory
action > history (Rev #8)
Contents
Definition
Let be a monoid and let be a set. An action is a function where there exist an identity term
and dependent function
See also
Revision on June 13, 2022 at 22:33:04 by
Anonymous?.
See the history of this page for a list of all contributions to it.