Homotopy Type Theory
action > history (Rev #7)
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 06:11:39 by
Anonymous?.
See the history of this page for a list of all contributions to it.