Homotopy Type Theory action > history (changes)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |
Redirected from "(∞,1)-categorical hom".

Showing changes from revision #8 to #9: Added | Removed | Changed

Contents

< action

category: redirected to nlab

Definition

Let (M,e,μ)(M, e, \mu) be a monoid and let XX be a set. An action is a function α f:M→(X→X)\alpha_f: M \to (X \to X) where there exist an identity term
i f:α f(e)=id Xi_f: \alpha_f(e) = id_X

and dependent function
c f:∏ g:M∏ h:Mα f(g)∘α f(h)=α f(μ(g,h))c_f: \prod_{g:M} \prod_{h:M} \alpha_f(g) \circ \alpha_f(h) = \alpha_f(\mu(g, h))

See also

Last revised on June 14, 2022 at 16:30:24. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionHide changesHistory (8 revisions) Print Source