1: \begin{definition}

2:   \label{TwistedBundle}

3:   Given an extension of $\infty$-groups $A \to \hat G \xrightarrow{\Omega \mathbf{c}} G$

4:   and given a $G$-principal $\infty$-bundle $P \to X$, with class $[g_X] \in H^1(X,G)$, 

5:   a \emph{$[g_X]$-twisted $A$-principal $\infty$-bundle} on $X$ is an $A$-principal

6:   $\infty$-bundle $\hat P \to P$ such that the cocycle $q : P \to\mathbf{B}A$

7:   corresponding to it under Theorem \ref{PrincipalInfinityBundleClassification}

8:   is a morphism of $G$-$\infty$-actions.

9:   

10:   The \emph{$\infty$-groupoid of $[g_X]$-twisted $A$-principal $\infty$-bundles on $X$} is 

11:   $$

12:     A\mathrm{Bund}^{[g_X]}(X)

13: 	:=

14: 	G \mathrm{Action}( P, \mathbf{B}A )

15: 	\subset

16: 	\mathbf{H}(P, \mathbf{B}A)

17: 	\,.

18:   $$

19: \end{definition}