# Contents

## Idea

The generalization of ∞-group ∞-actions to $\infty$-actions of groupoid objects in an (∞,1)-category.

## Definition

###### Definition

For $\mathcal{G}_\bullet \in Grpd_\infty(\mathbf{H})$ a groupoid object, $P \in \mathbf{H}$ any object equipped with a morphism $a \colon P \to \mathcal{G}_0$ to the object of objects of $\mathcal{G}$, a $\mathcal{G}_\bullet$-groupoid ∞-action on $X$ with anchor $a$ is a groupoid $(X//\mathcal{G})_\bullet$ over $\mathcal{G}_\bullet$ of the form

$\array{ \vdots && && \vdots \\ \downarrow \downarrow \downarrow \downarrow && && \downarrow \downarrow \downarrow \downarrow \\ X \underset{\mathcal{G}_0}{\times} \mathcal{G}_2 && \to && \mathcal{G}_2 \\ \downarrow \downarrow \downarrow && && \downarrow \downarrow \downarrow \\ X \underset{\mathcal{G}_0}{\times} \mathcal{G}_1 && \to && \mathcal{G}_1 \\ \downarrow \downarrow && && \downarrow \downarrow \\ X && \stackrel{a}{\to} && \mathcal{G}_0 } \,,$

where the homotopy fiber products on the left are those of the anchor $a$ with the leftmost 0-face map $\mathcal{G}_{(\{0\} \hookrightarrow \{0, \cdots, n\})}$ and the horizontal morphisms are the corresponding projections on the second factor.

We call $(X//\mathcal{G})_\bullet$ also the action groupoid of the action of $\mathcal{G}_\bullet$ on $(X,a)$ and call its realization $X \to (X//\mathcal{G})$ the homotopy quotient of the action.

###### Example

For $\mathcal{G}_\bullet = (\mathbf{B}G)_\bullet$ the delooping of a group object, def. reduces to the definition of an ∞-action of the ∞-group $G$.

Last revised on November 5, 2014 at 09:05:54. See the history of this page for a list of all contributions to it.