1: \begin{definition}

2:   Let $V \in \mathbf{H}$ be a $\kappa$-compact object, for some regular cardinal $\kappa$. 

3:   By the characterization of Definition \ref{RezkCharacterization}, there exists

4:   an $\infty$-pullback square in $\mathbf{H}$ of the form

5:   $$

6:     \raisebox{20pt}{

7:     \xymatrix{

8: 	  V \ar[r] \ar[d] & \widehat {\mathrm{Obj}}_\kappa \ar[d]

9: 	  \\

10: 	  {*} \ar[r]^<<<<<<{\vdash V} & \mathrm{Obj}_\kappa

11: 	}

12: 	}

13:   $$

14:   Write

15:   $$

16:     \mathbf{B}\mathbf{Aut}(V) := \mathrm{im}(\vdash V)

17:   $$

18:   for the 1-image, Definition \ref{image}, 

19:   of the classifying morphism $\vdash V$ of $V$. 

20:   By definition this comes with an effective epimorphism 

21:   $$

22:     \xymatrix{

23: 	  {*} \ar@{->>}[r] & \mathbf{B}\mathbf{Aut}(V)

24: 	  \ar@{^{(}->}[r] & \mathrm{Obj}_\kappa

25: 	}

26: 	\,,

27:   $$

28:   and hence, by Proposition \ref{InfinityGroupObjectsAsGroupoidObjects},

29:   it is the delooping of an $\infty$-group 

30:   $$

31:     \mathbf{Aut}(V) \in \mathrm{Grp}(\mathbf{H})

32:   $$

33:   as indicated. We call this the \emph{internal automorphism $\infty$-group} of $V$.

34:   

35:   By the pasting law, Proposition \ref{PastingLawForPullbacks}, 

36:   the image factorization gives a pasting

37:   of $\infty$-pullback diagrams of the form

38:   $$

39:     \xymatrix{

40: 	  V \ar[r] \ar[d] & V/\!/\mathbf{Aut}(V) \ar[r] \ar[d]^{\mathbf{c}_V} & 

41: 	  \widehat {\mathrm{Obj}}_\kappa \ar[d]

42: 	  \\

43: 	  {*} \ar@{->>}[r]^<<<<<<{\vdash V} & \mathbf{B}\mathbf{Aut}(V) \ar@{^{(}->}[r] & 

44: 	  \mathrm{Obj}_\kappa

45: 	}

46:   $$

47:   By Theorem~\ref{PrincipalInfinityBundleClassification} this defines a canonical 

48:   $\infty$-action 

49:   $$

50:     \rho_{\mathbf{Aut}(V)} : V \times \mathbf{Aut}(V) \to V

51:   $$

52:   of $\mathbf{Aut}(V)$ on $V$ with homotopy quotient $V/\!/\mathbf{Aut}(V)$

53:   as indicated. 

54:   \label{InternalAutomorphismGroup}

55:   \label{AutomorphismInfinityGroup}

56:   \label{AutomorphismGroup}

57: \end{definition}