\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Whitehead tower in an (infinity,1)-topos}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{topos_theory}{}\paragraph*{{$(\infty,1)$-Topos theory}}\label{topos_theory}

[[!include (infinity,1)-topos - contents]]

\hypertarget{cohesive_toposes}{}\paragraph*{{Cohesive $\infty$-Toposes}}\label{cohesive_toposes}

[[!include cohesive infinity-toposes - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{Properties}{Properties}\dotfill \pageref*{Properties} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{for_groupoids}{For $\infty$-groupoids}\dotfill \pageref*{for_groupoids} \linebreak
\noindent\hyperlink{TopInfGrpds}{For topological $\infty$-groupoids}\dotfill \pageref*{TopInfGrpds} \linebreak
\noindent\hyperlink{the_universal_covering_spaces}{The universal covering spaces}\dotfill \pageref*{the_universal_covering_spaces} \linebreak
\noindent\hyperlink{the_higher_covering_spaces}{The higher covering spaces}\dotfill \pageref*{the_higher_covering_spaces} \linebreak
\noindent\hyperlink{nontraditional_approach_in_}{Non-traditional approach in $Top$}\dotfill \pageref*{nontraditional_approach_in_} \linebreak
\noindent\hyperlink{construction_using_topological_groupoids}{Construction using topological $n$-groupoids}\dotfill \pageref*{construction_using_topological_groupoids} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

If an [[(∞,1)-topos]] $\mathbf{H}$ is [[locally ∞-connected (∞,1)-topos|locally ∞-connected]] it has a good notion of [[homotopy groups in an (∞,1)-topos|geometric homotopy groups]] of its objects. In terms of these, there is an analog in $\mathbf{H}$ of the notion of the classical notion of [[Whitehead tower]] in the archetypical $(\infty,1)$-topos [[Top]]:

the Whitehead tower of an object $X \in \mathbf{H}$ is the tower of $n$-[[connected]] [[homotopy fiber]]s of the canonical morphism into the [[Postnikov tower in an (∞,1)-category|(∞,1)-topos-theoretic Postnikov tower]] $\cdots \to \mathbf{\Pi}_{n+1}(X) \to \mathbf{\Pi}_n(X) \to \cdots$ of the [[schreiber:path ∞-groupoid|structured path ∞-groupoid]] $\mathbf{\Pi}(X)$ of $X$.

See also the section  at [[cohesive (∞,1)-topos]].

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

Let $\mathbf{H}$ be a [[locally ∞-connected (∞,1)-topos]] $\mathbf{H} \stackrel{\overset{\Pi}{\to}}{\stackrel{\overset{LConst}{\leftarrow}}{\underset{\Gamma}{\to}}} \infty Grpd$. Write

\begin{displaymath}
\mathbf{\Pi} := LConst \circ \Pi : \mathbf{H} \to \mathbf{H}
\end{displaymath}
for the \emph{internal} [[fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos]]-functor. From the adjunction relation this comes with the canonical natural morphism

\begin{displaymath}
X \to \mathbf{\Pi}(X)
  \,.
\end{displaymath}
For $n \in \mathbb{N}$ write

\begin{displaymath}
\mathbf{H}_{\leq n} \stackrel{\overset{\tau_{\geq n}}{\leftarrow}}{\overset{}{\hookrightarrow}} \mathbf{H}
\end{displaymath}
for the [[reflective (∞,1)-subcategory]] of [[n-truncated object of an (∞,1)-category|n-truncated objects]] of $\mathbf{H}$ and write $\mathbf{\tau}_{\leq n}$ for the [[localization of an (∞,1)-category|localization]]

\begin{displaymath}
\mathbf{\tau}_{\leq n} : \mathbf{H} \stackrel{\tau_{\leq n}}{\to}
  \mathbf{H}_{\leq n} \hookrightarrow \mathbf{H}
  \,.
\end{displaymath}
Write

\begin{displaymath}
\mathbf{\Pi}_n : \mathbf{H} \stackrel{\mathbf{\Pi}}{\to} \mathbf{H} \stackrel{\mathbf{\tau}_{\leq n}}{\to} \mathbf{H}
\end{displaymath}
for the internal \textbf{homotopy $n$-groupoid}. For $X \in \mathbf{H}$ we have the [[Postnikov tower in an (∞,1)-category|(∞,1)-Postnikov tower]]

\begin{displaymath}
\cdots \to \mathbf{\Pi}_2(X) \to \mathbf{\Pi}_1(X) \to \mathbf{\Pi}_0(X)
\end{displaymath}
of $\mathbf{\Pi}(X)$.

\begin{udef}
\textbf{(Whitehead tower)}

For $X \in \mathbf{H}$, its \textbf{Whitehead tower} is the sequence of objects

\begin{displaymath}
* \to \cdots \to X^{(2)} \to X^{(1)} \to X^{(0)} \simeq X
\end{displaymath}
in $\mathbf{H}$, where for each $n \in \mathbb{N}$ the object $X^{(n+1)}$ is the [[homotopy fiber]] of the canonical morphism $X \to \mathbf{\Pi}_{n+1}$, i.e. the object defined by the [[pullback]] diagram

\begin{displaymath}
\itexarray{
    X^{(n+1)} &\to& *
    \\
    \downarrow && \downarrow
    \\
    X &\to& \mathbf{\Pi}_{n+1}(X)
  }
  \,.
\end{displaymath}
\end{udef}
Here the morphisms $X^{(n+1)} \to X^{(n)}$ are induced from the universality of the pullback:

\begin{displaymath}
\itexarray{
    X^{(n+1)}&\to&X^{(n)}&& \mathbf{\Pi}_{(n+1)}(X)
    \\
    &\searrow &\downarrow&\nearrow& \downarrow
    \\
    &&X &\to& \mathbf{\Pi}_n(X)
  }
\end{displaymath}
\begin{uremark}
We have that $\mathbf{\Pi}_n(X) \simeq LConst \tau_{\leq n} \Pi(X)$.

A homotopy-commuting diagram

\begin{displaymath}
\itexarray{
    X^{(n)} &\to& {*}
    \\
    \downarrow && \downarrow
    \\
    X &\to& \mathbf{\Pi}_n(X)
  }
\end{displaymath}
in $\mathbf{H}$ corresponds by the [[adjoint (∞,1)-functor|adjunction relation]] to diagram

\begin{displaymath}
\itexarray{
    \Pi(X^{(n)}) &\to& {*}
    \\
    \downarrow && \downarrow
    \\
    \Pi(X) &\to& {\Pi}_n(X)
  }
\end{displaymath}
in [[∞Grpd]]. This being universal means that $\Pi(X^{(n)})$ is $n$-connected, and universal with that property as an object over $\Pi(X)$.

\end{uremark}
\hypertarget{Properties}{}\subsection*{{Properties}}\label{Properties}

\begin{udef}
For $* \to X \in \mathbf{H}$ a [[pointed object]] and $n \in \mathbb{N}$, $n \geq 1$, define the object $\mathbf{B}^n \mathbf{\pi}_n(X)$ to be the [[homotopy fiber]] of $\mathbf{\Pi}_n(X) \to \mathbf{\Pi}_{n-1}(X)$, so that we have a [[fibration sequence]]

\begin{displaymath}
\mathbf{B}^n \mathbf{\pi}_n(X) \to \mathbf{\Pi}_n(X) \to \mathbf{\Pi}_{n-1}(X)
  \,.
\end{displaymath}
\end{udef}
\begin{uproposition}
With $\Pi(X) \in \infty Grpd \simeq Top$ the underlying topological space of $X \in \mathbf{H}$ (its \href{http://ncatlab.org/schreiber/show/path+%E2%88%9E-groupoid#GeomReal}{geometric realization}) we have that

\begin{displaymath}
\mathbf{B} \mathbf{\pi}_n(X)
  \simeq
  LConst \mathcal{B}^n \pi_n(X)
  \,,
\end{displaymath}
where $\mathcal{B}^n \pi_n(X)$ denotes the [[homotopy fiber]] of $\Pi_n(X) \to \Pi_{(n-1)}(X)$ in [[∞Grpd]].

\end{uproposition}
\begin{proof}
\begin{quote}%
check


\end{quote}
This follows from $\mathbf{\tau}_{\leq n} LConst \Pi(X) \simeq LConst \tau_{\leq n} \Pi(X)$. This, in turn, can for instance be checked in terms of the [[model structure on simplicial presheaves]], using that $\tau$ is objectwise the [[coskeleton]] operation. More on that at [[Postnikov tower in an (∞,1)-category]].

\end{proof}
\begin{uproposition}
For each $n \geq 1$ we have a [[fibration sequence]]

\begin{displaymath}
X^{(n)} \to X^{(n-1)} \to \mathbf{B}^n \mathbf{\pi}_n(X)
  \,.
\end{displaymath}
\end{uproposition}
\begin{proof}
Regard the diagram

\begin{displaymath}
\itexarray{
    X^{(n)} &\to& *
    \\
    \downarrow && \downarrow
    \\
    X^{(n-1)} & \to & \mathbf{B}^n \mathbf{\pi}_n(X) &\to& *
    \\
    \downarrow && \downarrow && \downarrow
    \\
    X &\to& \mathbf{\Pi}_n(X) &\to& \mathbf{\Pi}_{(n-1)}(X)
  }
  \,.
\end{displaymath}
Here the right square is the defining $(\infty,1)$-pullback diagram of $\mathbf{B}^n \mathbf{\pi}_n(X)$ from above. Take also the left bottom square to be a homotopy pullback. Then from the pasting rules of pullbacks it follows that the composite bottom rectangle is also a pullback, which identifies the object $X^{(n-1)}$ on the left as indicated.

Similarly, form now the top square as a pullback. Then by the composition law of pullbacks we find that the composite vertical rectangle is a pullback, which identifies the top left object as $X^{(n)}$.

\end{proof}
\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{for_groupoids}{}\subsubsection*{{For $\infty$-groupoids}}\label{for_groupoids}

In the archetypical $(\infty,1)$-topos $\mathbf{H} =$ [[∞Grpd]] the functors $\Pi$ and $\mathbf{\Pi}$ are the identity and so $\cdots \to \mathbf{\Pi}_1(X) \to \mathbf{\Pi}_0(X)$ is just the standard [[Postnikov tower]] $\cdots \to X_1 \to  X_0$.

If we use the [[model structure on simplicial sets]] in order to [[presentable (infinity,1)-category|present]] $\infty Grpd$, then the Postnikov tower may be realized by the simplicial [[coskeleton]] operation

\begin{displaymath}
\cdots \to \mathbf{cosk}_2(X) \to \mathbf{cosk}_1(X)
  \,.
\end{displaymath}
If $X$ is [[connected]], the [[homotopy pullback]]

\begin{displaymath}
\itexarray{
    X^{(n+1)} &\to& *
    \\
    \downarrow && \downarrow
    \\
    X &\to& X_{(n)}
  }
\end{displaymath}
defining the Whitehead tower of an $\infty$-groupoid incarnated as a [[Kan complex]] $X$ may be computed as an ordinary [[pullback]] using a fibrant replacement diagram, such as thatr replacing the [[point]] by the [[decalage]] simplicial set, hence as the ordinary pullback

\begin{displaymath}
\itexarray{
    X^{(n+1)} &\to& Dec \mathbf{cosk}_n X
    \\
    \downarrow && \downarrow
    \\
    X &\to& \mathbf{cosk}_n X
  }
\end{displaymath}
in [[sSet]].

If $X$ is a pointed $\infty$-groupoid then $\mathbf{B}^n \mathbf{\pi}_n(X)$ is the [[Eilenberg-Mac Lane space]] $K(\pi_n(X),n)$.

\hypertarget{TopInfGrpds}{}\subsubsection*{{For topological $\infty$-groupoids}}\label{TopInfGrpds}

It is often useful to think of [[topological space]]s as embedded into the [[(∞,1)-topos]] of [[topological ∞-groupoid]]s, i.e. the [[(∞,1)-category of (∞,1)-sheaves]]/[[∞-stack]]s on (a [[small category|small]] version of) the [[site]] of ``all'' topological spaces.

\begin{displaymath}
\mathbf{H} = Sh_{(\infty,1)}(Top)
  \,.
\end{displaymath}
\hypertarget{the_universal_covering_spaces}{}\paragraph*{{The universal covering spaces}}\label{the_universal_covering_spaces}

For $X$ a topological space regarded as a representable object in $Sh_{(\infty,1)}(Top)$, we have that $\mathbf{\Pi}_1(X)$ is the [[fundamental groupoid]] of $X$, regarded as a [[topological ∞-groupoid]] in the obvious way.

Then the [[homotopy fiber]] $X^{(1)}$ of the constant path inclusion $X \to \mathbf{\Pi}_1(X)$ is the [[universal covering space]] of $X$, as described in detail there.

\hypertarget{the_higher_covering_spaces}{}\paragraph*{{The higher covering spaces}}\label{the_higher_covering_spaces}

The analog of this statement for the higher items $X^{(n)}$ with $n \gt 1$ in the Whitehead tower of a topological spaces regarded in the $(\infty,1)$-topos of topological groupoids has been studied in

\begin{itemize}%
\item [[David Roberts]], \emph{[[Fundamental Bigroupoids and 2-Covering Spaces]]}

\end{itemize}
The following reviews some central ideas of this.

\hypertarget{nontraditional_approach_in_}{}\paragraph*{{Non-traditional approach in $Top$}}\label{nontraditional_approach_in_}

\textbf{The following is some semblance of current research, except the stuff about the string 2-group. All errors and stupid ideas are mine - [[David Roberts]]}

For locally nice spaces (say locally contractible), it is desirable to have a functorial construction of the Whitehead tower. A shadow of a low-dimensional case of this can be seen in the construction of the [[string 2-group]] given by Baez-Crans-Schreiber-Stevenson. Since finite-dimensional Lie groups have non-trivial third homotopy group, it is not possible to form the 3-connected cover in the [[category]] $fin.dim.LieGrp$, like it is possible to take the 0-, and 1-connected covers. While most people give up the smoothness and make do with the [[topological group]] $String_G$, The BCSS construction leaps out of that [[category]] into that of strict ([[Frechet space|Frechet]]) Lie [[2-group]]s. The construction is also functorial.

[[David Roberts]]: As an aside, I know of two classes of spaces with explicitly constructed (i.e. not via co-killing homotopy groups) 2-connected covers: the 2-sphere and its quotients by $\mathbf{Z}/n$ (lens spaces), and the [[loop group]] $\Omega G$ of a compact, simple, simply-connected Lie group $G$ (the latter is the level-1 central extension by $U(1)$, the first needs no introduction). Does anybody know of any other $n$-connected covers (other than, say, the Hopf fibrations) that are canonically given?

However, without one could demand a conceptually similar approach to the $n$-connected cover of a general (locally nice) space or smooth manifold. For $n=2$, and taking only [[topological space]]s for consideration, this is contained in [[David Roberts|my]] thesis work. The rough result is that one gets a 2-connected topological groupoid $X^{(2)}$ equipped with a map to $X$ that factors through the universal covering space $X^{(1)}$. This is functorial, and generalises to higher connected covers (at least heuristically - I don't have $n$-categorical superpowers).

But the general idea is that one would get an $(n-1)$-groupoid $X^{(n)}$ over $X$ which is $n$-connected and such that the map to $X$ factors through the $(n-2)$-groupoid $X^{(n-1)}$. The map to $X$ should induce [[isomorphism]]s on homotopy groups $\pi_i$ for $i\gt n$, as in the usual Whitehead tower.

If we want to consider arbitrary $n$ and retain some sort of local triviality on our connected covers we cannot get away from the assumption that the space in question is locally contractible. An assumption of this sort appears in

\begin{itemize}%
\item [[Bertrand Toen]], Vers une interpretation Galoisienne de la theorie de l'homotopie, Cahiers de Top. et Geom. Diff. Cat., Vol. XLIII-4 (2002), 257-312.

\end{itemize}
in the context of locally constant $\infty$-stacks and their monodromy (I haven't got this article at the moment, and I suspect they may be $(\infty,1)$-stacks, but I'm not 100 percent certain -DMR). Technically speaking, we don't need local contractibility but the existence of a basis of open sets $U \hookrightarrow X$ such that this inclusion map is null-homotopic. But I will continue to call this local contractibilty, for lack of a better term (if there is such a term, I'd like to know -DMR).

\hypertarget{construction_using_topological_groupoids}{}\paragraph*{{Construction using topological $n$-groupoids}}\label{construction_using_topological_groupoids}

Consider the fundamental $n$-groupoid $\Pi_n(X)$ of the locally contractible space $X$ (as a [[Trimble n-category|Trimble n-groupoid]], say), or at least for now its underlying globular set. We can take the compact open-topology on the set of $k$-morphisms for $k \lt n$. As the space is locally contracible, in particular semi-locally $n$-connected, the space $Hom(S^{n-1},X)$ is semi-locally simply-connected (I have a fragment of a paper saying this is true for the 'absolute case' - that is, \emph{locally} $n$-connected implies the mapping space locally simply connected, but I expect it to be true for the relative case -DMR). In particular, we can take the fundamental groupoid $\Pi_1(Hom(S^{n-1},X))$, which has a topology given in the [[topological fundamental groupoid|usual way]]. The arrow space of this fundamental groupoid is then non other than the space of $n$-arrows of $\Pi_n(X)$. It needs to be checked that the $n$ compositions $\#_k$, $k=0,\ldots,n-1$ are continuous, as well as a bunch of other stuff, but I think this should follow from (unique) lifting theorems for covering spaces.

The object space of $\Pi_n(X)$ is just $X$, and so there is an inclusion $X \hookrightarrow \Pi_n(X)$, and it is this that replaces the Postnikov section in the Whitehead construction outlined above. The topological fundamental $n$-groupoid, even though it contains apparently more homotopical information than the untopologised fundamental $n$-groupoid $\Pi_n(X)^\delta$ ($\delta=$discrete topology), I posit that under the assumptions on $X$, the inclusion $\Pi_n(X)^\delta \to \Pi_n(X)$ has an ana-n-functor pseudoinverse (taking the [[Grothendieck pretopology]] of open covers should be enough). On passing to the homotopy colimit this span should become a span weak homotopy equivalences, and so we can consider the topologised and the untopologised to be different representatives of the $n$-type of $X$.

Given a basepoint $x\in X$, we can form the tangent $n$-groupoid $T_x \Pi_n(X)$, which is equivalent to the trivial $n$-groupoid $*$ (even as a \emph{topological} $n$-groupoid), and gives us what should be in any sensible definition a fibration $T_x\Pi_n(X) \to \Pi_n(X)$. Pull back this fibration to $X$, and call the resulting thing $X^{(n)}$. It is fairly easy to see that $X^{(n)}$ is a topological $(n-1)$-groupoid over $X$. This then should be the $n$-connected cover of $X$. For $n=1$ this is precisely the classical construction of the universal covering space of a pointed space. For $n=2$ this is treated in

\begin{itemize}%
\item D.M. Roberts, Fundamental bigroupoids and 2-covering spaces, PhD thesis, available [[davidroberts:HomePage|here]]

\end{itemize}
and the two-dimensional homotopical tools developed there can be used to show that $X^{(2)}$ is 2-connected.

A word is probably in order about the notion of $k$-connectedness for topological $n$-groupoids. This has its usual meaning, once homotopy groups $\pi_i$ have been defined. The reader should be warned that these have nothing to do with the groups $\pi_0 Eq(1_{._{._{1_x}}})/\sim$ obtained from considering the autoequivalence $n-i+1$-group of the identity $(i-1)$-arrow on the identity $(i-2)$-arrow on \ldots{} on the object $x$. These should be defined in such a way as to agree with the homotopy colimit $hocolim X$ of $X$ considered as a truncated simplicial space. In particular, $\pi_1$ of a topological groupoid is \emph{not} the group of automorphisms of the basepoint, but a quotient of the set of \emph{generalised paths}, an idea going back to Haefliger (for an intro see the early parts of chapter 2 of the above thesis, available at [[davidroberts:HomePage]], or the preprint H. Colman, \emph{On the 1-homotopy type of Lie groupoids}, arXiv:math/0612257).

There are other interpretations of $X^{(n)}$:

\begin{itemize}%
\item The (0-)source fibre of $\Pi_n(X)$, which is:
\item The pullback of $(s_0,t_0):Hom_{\Pi_n(X)} \to X\times X$ along the inclusion $\{x\}\times X \to X\times X$, where $Hom_{\Pi_n(X)}$ is the (internalised) hom-$(n-1)$-groupoid familiar from the definition of a Trimble $n$-groupoid.
\item The 'vertical fundamental $(n-1)$-groupoid' of $PX \to X$, the path fibration.

\end{itemize}
The last can be thought of as a families version of the usual fundamental $(n-1)$-groupoid: take vertical paths, vertical homotopies between paths etc.

[[!redirects Whitehead tower in an (∞,1)-topos]]



\end{document}