1: \begin{definition}

2: Given an $\infty$-group extension  

3: $\xymatrix{A \ar[r] & \hat G \ar[r]^{\Omega \mathbf{c}} & G}$ 

4: and given a $G$-principal $\infty$-bundle $P \to X$ in $\mathbf{H}$, we say that a 

5: \emph{lift} $\hat P$ of $P$ to a $\hat G$-principal $\infty$-bundle is a lift 

6: $\hat g_X$ of its classifying 

7: cocycle $g_X : X \to \mathbf{B}G$, under the equivalence of Theorem

8: \ref{PrincipalInfinityBundleClassification}, through the extension:

9: $$

10:   \raisebox{20pt}{

11:   \xymatrix{

12:       & \mathbf{B} {\hat G}

13:       \ar[d]^{\mathbf{p}}

14:     \\

15:     X \ar@{-->}[ur]^{\hat g_X} \ar[r]_-{g_X} & \mathbf{B}G.

16:   }

17:   }

18: $$

19: Accordingly, the \emph{$\infty$-groupoid of lifts} of $P$ with respect to 

20: $\mathbf{p}$ is 

21: $$

22:   \mathrm{Lift}(P,\mathbf{p}) := \mathbf{H}_{/\mathbf{B}G}(g_X, \mathbf{p})

23:   \,.

24: $$

25: \label{PrincipalInfinityBundleExtension}

26: \end{definition}