\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*{cohesive (infinity,1)-topos -- structures}

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

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

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

\begin{quote}%
This is a sub-section of the entry \emph{[[cohesive (∞,1)-topos]]} . See there for background and context


\end{quote}

\vspace{.5em} \hrule \vspace{.5em}
\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{structure_in_a_cohesive_topos}{Structure in a cohesive $(\infty,1)$-topos}\dotfill \pageref*{structure_in_a_cohesive_topos} \linebreak
\noindent\hyperlink{ConcreteObjects}{Concrete objects}\dotfill \pageref*{ConcreteObjects} \linebreak
\noindent\hyperlink{InfinGroups}{Cohesive $\infty$-Groups}\dotfill \pageref*{InfinGroups} \linebreak
\noindent\hyperlink{Cohomology}{Cohomology and principal $\infty$-bundles}\dotfill \pageref*{Cohomology} \linebreak
\noindent\hyperlink{InftyGerbe}{$\infty$-Gerbes}\dotfill \pageref*{InftyGerbe} \linebreak
\noindent\hyperlink{TwistedCohomology}{Twisted cohomology and section}\dotfill \pageref*{TwistedCohomology} \linebreak
\noindent\hyperlink{GroupRepresentations}{$\infty$-Group representations and associated $\infty$-bundles}\dotfill \pageref*{GroupRepresentations} \linebreak
\noindent\hyperlink{Concordance}{Concordance}\dotfill \pageref*{Concordance} \linebreak
\noindent\hyperlink{Homotopy}{Geometric homotopy / \'e{}tale homotopy}\dotfill \pageref*{Homotopy} \linebreak
\noindent\hyperlink{A1HomotopyContinuum}{Cohesive $\mathbb{A}^1$-homotopy / The Continuum}\dotfill \pageref*{A1HomotopyContinuum} \linebreak
\noindent\hyperlink{GaloisTheory}{Galois theory}\dotfill \pageref*{GaloisTheory} \linebreak
\noindent\hyperlink{vanKampenTheorem}{van Kampen theorem}\dotfill \pageref*{vanKampenTheorem} \linebreak
\noindent\hyperlink{Paths}{Paths and geometric Postnikov towers}\dotfill \pageref*{Paths} \linebreak
\noindent\hyperlink{Coverings}{Universal coverings and geometric Whitehead towers}\dotfill \pageref*{Coverings} \linebreak
\noindent\hyperlink{FlatDifferentialCohomology}{Flat $\infty$-connections and local systems}\dotfill \pageref*{FlatDifferentialCohomology} \linebreak
\noindent\hyperlink{deRhamCohomology}{de Rham cohomology}\dotfill \pageref*{deRhamCohomology} \linebreak
\noindent\hyperlink{IntegrationOfDifferentialForms}{Integration of differential forms and Stokes lemma}\dotfill \pageref*{IntegrationOfDifferentialForms} \linebreak
\noindent\hyperlink{LieAlgebras}{Exponentiated $\infty$-Lie algebras}\dotfill \pageref*{LieAlgebras} \linebreak
\noindent\hyperlink{CurvatureCharacteristics}{Maurer-Cartan forms and curvature characteristic forms}\dotfill \pageref*{CurvatureCharacteristics} \linebreak
\noindent\hyperlink{FlatEhresmannConnections}{Flat Ehresmann connections}\dotfill \pageref*{FlatEhresmannConnections} \linebreak
\noindent\hyperlink{DifferentialCohomology}{Differential cohomology}\dotfill \pageref*{DifferentialCohomology} \linebreak
\noindent\hyperlink{ordinary_differential_cohomology}{Ordinary differential cohomology}\dotfill \pageref*{ordinary_differential_cohomology} \linebreak
\noindent\hyperlink{generalized_differential_cohomology}{Generalized differential cohomology}\dotfill \pageref*{generalized_differential_cohomology} \linebreak
\noindent\hyperlink{ChernWeilTheory}{Chern-Weil homomorphism and $\infty$-connections}\dotfill \pageref*{ChernWeilTheory} \linebreak
\noindent\hyperlink{HigherHolonomy}{Higher holonomy}\dotfill \pageref*{HigherHolonomy} \linebreak
\noindent\hyperlink{Transgression}{Transgression in differential cohomology}\dotfill \pageref*{Transgression} \linebreak
\noindent\hyperlink{ChernSimonsTheory}{Chern-Simons functional}\dotfill \pageref*{ChernSimonsTheory} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak
\noindent\hyperlink{general}{General}\dotfill \pageref*{general} \linebreak
\noindent\hyperlink{formulation_in_homotopy_type_theory}{Formulation in homotopy type theory}\dotfill \pageref*{formulation_in_homotopy_type_theory} \linebreak


\hypertarget{structure_in_a_cohesive_topos}{}\subsection*{{Structure in a cohesive $(\infty,1)$-topos}}\label{structure_in_a_cohesive_topos}

A cohesive $(\infty,1)$-topos is a general context for [[higher geometry]] with good [[cohomology]] and [[homotopy]] properties. We list fundamental structures and constructions that exist in every cohesive $(\infty,1)$-topos.

\hypertarget{ConcreteObjects}{}\subsubsection*{{Concrete objects}}\label{ConcreteObjects}

The cohesive structure on an object in a cohesive $(\infty,1)$-topos need not be supported by points. We discuss a general abstract characterization of objects that do have an interpretation as bare $n$-groupoids equipped with cohesive structure.

Compare with the section  at [[cohesive topos]].

\begin{prop}
\label{SubToposesOfDiscreteAndCodiscrete}\hypertarget{SubToposesOfDiscreteAndCodiscrete}{}
On a cohesive $(\infty,1)$-topos $\mathbf{H}$ both $\mathrm{Disc}$ and $\mathrm{coDisc}$ are [[full and faithful (∞,1)-functor]]s and $\mathrm{coDisc}$ exhibits [[∞Grpd]] as a sub-$(\infty,1)$-topos of $\mathbf{H}$ by an\newline [[(∞,1)-geometric embedding]]

\begin{displaymath}
\infty Grpd
    \stackrel{\overset{\Gamma}{\leftarrow}}{\underset{coDisc}{\hookrightarrow}}
  \mathbf{H}
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
The full and faithfulness of $Disc$ and $coDisc$ follows as in the discussion at [[∞-connected (∞,1)-topos]], Since $\Gamma$ is also a right adjoint it preserves in particular [[finite limit|finite]] [[(∞,1)-limit]]s, so that $(\Gamma \dashv \mathrm{coDisc})$ is indeed an [[(∞,1)-geometric morphism]]. (See the general discussion at [[local (∞,1)-topos]].)

\end{proof}
\begin{prop}
\label{}\hypertarget{}{}
The [[(∞,1)-topos]] [[∞Grpd]] is equivalent to the full [[sub-(∞,1)-category]] of $\mathbf{H}$ on those objects $X \in \mathbf{H}$ for which the [[unit of an adjunction|unit]]

\begin{displaymath}
X \to \mathrm{coDisc}\Gamma X
\end{displaymath}
is an [[equivalence in an (∞,1)-category|equivalence]].

\end{prop}
\begin{proof}
This follows by general facts discussed at [[reflective sub-(∞,1)-category]].

\end{proof}
\begin{defn}
\label{}\hypertarget{}{}
We say an object $X$ is \textbf{$n$-concrete} if the canonical morphism $X \to coDisc \Gamma X$ is [[n-truncated|(n-1)-truncated]].

If a [[0-truncated]] object $X$ is $0$-concrete, we call it just \textbf{concrete}.

\end{defn}
See also \emph{[[concrete (∞,1)-sheaf]]}.

\begin{prop}
\label{}\hypertarget{}{}
For $C$ an [[∞-cohesive site]], a 0-truncated object in the [[(∞,1)-topos]] over $C$ is concrete precisely if it is a [[concrete sheaf]] in the traditional sense.

\end{prop}
\begin{defn}
\label{NConcretification}\hypertarget{NConcretification}{}
For $X \in \mathbf{H}$ and $n \in \mathbb{N}$, the \textbf{$(n+1)$-concretification} of $X$ is the morphism

\begin{displaymath}
X \to conc_{n+1} X
\end{displaymath}
that is the left factor in the decomposition with respect to the [[n-connected/n-truncated factorization system]] of the $(\Gamma \dashv coDisc)$-[[unit of an adjunction|unit]]

\begin{displaymath}
\itexarray{   
    && conc_{n+1} X
    \\
    & \nearrow && \searrow
    \\
    X &&\to&& coDisc \Gamma X
  }
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
By that very [[n-connected/n-truncated factorization system]] we have that $conc_{n+1} X$ is an $(n+1)$-concrete object.

\end{remark}
\hypertarget{InfinGroups}{}\subsubsection*{{Cohesive $\infty$-Groups}}\label{InfinGroups}

Every [[(∞,1)-topos]] $\mathbf{H}$ comes with a notion of [[group object in an (∞,1)-category|∞-group objects]] that generalizes the traditional notion of grouplike $A_\infty$ spaces in [[Top]] $\simeq$ [[∞Grpd]]. For more details on the following see also \emph{[[looping and delooping]]}.

\begin{defn}
\label{}\hypertarget{}{}
For $X \in \mathbf{H}$ an object and $x : * \to X$ a point, the \textbf{[[loop space object]]} of $X$ is the [[(∞,1)-pullback]] $\Omega_x X := * \times_X *$:

\begin{displaymath}
\itexarray{
       \Omega_x X & \to & {*} 
       \\
       \downarrow && \downarrow^{\mathrlap{x}}
       \\
       {*} & \stackrel{x}{\to} & X
    }
    \,.
\end{displaymath}
\end{defn}
This object $\Omega_x X$ is canonically equipped with the structure of an [[∞-group]] obect.

\begin{remark}
\label{}\hypertarget{}{}
Notice that every [[0-connected]] object $A$ in the cohesive $(\infty,1)$-topos $\mathbf{H}$ does have a global point (then necessarily essentially unique) $* \to A$.

\end{remark}
This follows from the \hyperlink{PointLike}{above proposition} which says that $\mathbf{H}$ necessarily has [[homotopy dimension]] $\leq 0$.

\begin{prop}
\label{}\hypertarget{}{}
The operation of forming [[loop space object]]s in $\mathbf{H}$ establishes an [[equivalence of (∞,1)-categories]]

\begin{displaymath}
\Omega : PointedConnected(\mathbf{H}) \stackrel{\simeq}{\to} Grp(\mathbf{H})
\end{displaymath}
between the [[(∞,1)-category]] of [[group object in an (∞,1)-category|group object]]s in $\mathbf{H}$ and the full [[sub-(∞,1)-category]] of [[pointed object]]s $*/\mathbf{H}$ on those that are [[0-connected]].

\end{prop}
\begin{proof}
By the discussion at .

\end{proof}
We write

\begin{displaymath}
\mathbf{B} : Grpd(\mathbf{H}) \to  PointedConnected(\mathbf{H})
\end{displaymath}
for the inverse to $\Omega$. For $G \in Grp(\mathbf{H})$ we call $\mathbf{B}G \in PointedConnected(\mathbf{H}) \hookrightarrow \mathbf{H}$ the \textbf{[[delooping]]} of $G$.

Notice that since the cohesive $(\infty,1)$-topos $\mathbf{H}$ has [[homotopy dimension]] $0$ by the \hyperlink{PointLike}{above proposition} every 0-connected object has an essentially unique point, but nevertheless the [[homotopy type]] of $*/\mathbf{H}(\mathbf{B}G, \mathbf{B}H)$ may differ from that of $\mathbf{H}(\mathbf{B}G, \mathbf{B}H)$.

\begin{prop}
\label{}\hypertarget{}{}
The delooping object $\mathbf{B}G \in \mathbf{H}$ is concrete precisely if $G$ is.

\end{prop}
We may therefore unambiguously speak of \textbf{concrete cohesive $\infty$-groups}.

\begin{defn}
\label{}\hypertarget{}{}
For $f : Y \to Z$ any morhism in $\mathbf{H}$ and $z : * \to Z$ a point, the [[homotopy fiber|∞-fiber]] or of $f$ over this point is the [[(∞,1)-pullback]] $X := {*} \times_Z Y$

\begin{displaymath}
\itexarray{
        X & \to & {*} 
        \\
        \downarrow && \downarrow^{\mathrlap{z}}
        \\
        Y & \stackrel{f}{\to} & Z
    }
    \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
Suppose that also $Y$ is pointed and $f$ is a morphism of pointed objects. Then the $\infty$-fiber of an $\infty$-fiber is the [[loop space object]] of the base.

\end{remark}
This means that we have a diagram

\begin{displaymath}
\itexarray{
      \Omega_z Z  & \to& X & \to & {*} 
      \\
      \downarrow && \downarrow && \downarrow
      \\
      {*} & \to & Y & \stackrel{f}{\to} & Z
  }
  \,,
\end{displaymath}
where the outer rectangle is an [[(∞,1)-pullback]] if the left square is an [[(∞,1)-pullback]]. This follows from the pasting law for $(\infty,1)$-pullbacks in any [[(∞,1)-category]].

\begin{prop}
\label{}\hypertarget{}{}
If the cohesive $(\infty,1)$-topos $\mathbf{H}$ has an [[∞-cohesive site]] of definition $C$, then

\begin{itemize}%
\item every [[∞-group]] object has a presentation by a presheaf of [[simplicial group]]s

\begin{displaymath}
G \in [C^{op}, sGrp] \stackrel{U}{\to} [C^{op}, sSet]
\end{displaymath}
which is fibrant in $[C^{op}, sSet]_{proj}$;


\item the corresponding [[delooping]] object is presented by the presheaf

\begin{displaymath}
\bar W G \in [C^{op}, sSet_0] \hookrightarrow [C^{op}, sSet]
\end{displaymath}
which is given over each $U \in C$ by $\bar W (G(U))$ (see [[simplicial group]] for the notation).



\end{itemize}
\end{prop}
\begin{proof}
Let $* \to X \in [C^{op}, sSet]_{proj,loc}$ be a locally fibrant representative of $* \to \mathbf{B}G$. Since the [[terminal object]] $*$ is indeed presented by the presheaf constant on the point we have functorial choices of basepoints in all the $X(U)$ for all $U \in C$ and by assumption that $X$ is [[connected]] all the $X(U)$ are connected. Hence without loss of generality we may assume that $X$ is presented by a presheaf of reduced simplicial sets $X \in [C^{op}, sSet_0] \hookrightarrow X \in [C^{op}, sSet]$.

Then notice the [[Quillen equivalence]] between the [[model structure on reduced simplicial sets]] and the [[model structure on simplicial groups]]

\begin{displaymath}
(\Omega \dashv \bar W) : sGrp \stackrel{\overset{\Omega}{\leftarrow}}{\underset{\bar W}{\to}}
   sSet_0
  \,.
\end{displaymath}
In particular its [[unit of an adjunction|unit]] is a weak equivalence

\begin{displaymath}
\bar W \Omega Y \stackrel{\simeq}{\to} Y
\end{displaymath}
for every $Y \in sSet_0 \hookrightarrow sSet_{Quillen}$ and $\bar W \Omega Y$ is always a [[Kan complex]]. Therefore

\begin{displaymath}
\bar W \Omega X \in [C^{op}, sSet]_{proj}
\end{displaymath}
is an equivalent representative for $X$, fibrant at least in the global model structure. Since the finite [[(∞,1)-limit]] involved in forming [[loop space object]]s is equivalently computed in the global model structure, it is sufficient to observe that

\begin{displaymath}
\itexarray{
    \Omega X &\to& W \Omega X
    \\
    \downarrow && \downarrow
    \\
    * &\to& \bar W \Omega X
  }
\end{displaymath}
is

\begin{itemize}%
\item a [[pullback]] diagram in $[C^{op}, sSet]$ (because it is so over each $U \in C$ by the general discussion at [[simplicial group]]);


\item a [[homotopy pullback]] of the point along itself (since $W G \to \bar W G$ is objectwise a fibration [[resolution]] of the point inclusion).



\end{itemize}
\end{proof}
\hypertarget{Cohomology}{}\subsubsection*{{Cohomology and principal $\infty$-bundles}}\label{Cohomology}

There is an intrinsic notion of [[cohomology]] and of [[principal ∞-bundles]] in any [[(∞,1)-topos]] $\mathbf{H}$.

\begin{defn}
\label{}\hypertarget{}{}
For $X,A \in \mathbf{H}$ two [[object]]s, we say that

\begin{displaymath}
H(X,A) := \pi_0 \mathbf{H}(X,A)
\end{displaymath}
is the \textbf{[[cohomology]] set} of $X$ with coefficients in $A$. If $A = G$ is an [[∞-group]] we write

\begin{displaymath}
H^1(X,G) := \pi_0 \mathbf{H}(X, \mathbf{B}G)
\end{displaymath}
for cohomology with coefficients in its [[delooping]]. Generally, if $K \in \mathbf{H}$ has a $p$-fold [[delooping]], we write

\begin{displaymath}
H^p(X,K) := \pi_0 \mathbf{H}(X, \mathbf{B}^p K)
  \,.
\end{displaymath}
\end{defn}
In the context of cohomology on $X$ with coefficients in $A$ we we say that

\begin{itemize}%
\item the hom-space $\mathbf{H}(X,A)$ is the \textbf{cocycle $\infty$-groupoid};


\item a [[morphism]] $g : X \to A$ is a [[cocycle]];


\item a [[2-morphism]] : $g \Rightarrow h$ is a [[coboundary]] between cocycles.


\item a morphism $c : A \to B$ represents the [[characteristic class]]

\begin{displaymath}
[c] : H(-,A) \to H(-,B)
  \,.
\end{displaymath}


\end{itemize}
\begin{defn}
\label{}\hypertarget{}{}
For every morphism $c : \mathbf{B}G \to \mathbf{B}H \in \mathbf{H}$ define the \textbf{long [[fiber sequence]] to the left}

\begin{displaymath}
\cdots 
   \to 
   \Omega G
  \to 
  \Omega H 
   \to 
   F
    \to 
   G 
     \to  
   H 
     \to 
    \mathbf{B} F 
     \to 
    \mathbf{B}G
      \stackrel{c}{\to} 
   \mathbf{B}H
\end{displaymath}
to be the given by the consecutive [[pasting]] diagrams of [[(∞,1)-pullback]]s

\begin{displaymath}
\itexarray{
      \vdots && \vdots
      \\
      \Omega H &\to& G &\to& *
      \\
      \downarrow &&\downarrow && \downarrow 
      \\
     * &\to& H &\to& \mathbf{B}F &\to& *
      \\
     &&\downarrow && \downarrow && \downarrow
     \\
     && * &\to& \mathbf{B}G & \stackrel{c}{\to} & \mathbf{B}H
  }
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
\begin{itemize}%
\item The long fiber sequence to the left of $c : \mathbf{B}G \to \mathbf{B}H$ becomes constant on the point after $n$ iterations if $H$ is $n$-[[truncated]].


\item For every object $X \in \mathbf{H}$ we have a long [[exact sequence]] of [[pointed set]]s

\begin{displaymath}
\cdots \to H^0(X,G) \to H^0(X,H) \to H^1(X,F) \to H^1(X,G) \to H^1(X,H)
 \,.
\end{displaymath}


\end{itemize}
\end{prop}
\begin{proof}
The first statement follows from the observation that a [[loop space object]] $\Omega_x A$ is a fiber of the [[free loop space object]] $\mathcal{L} A$ and that this may equivalently be computed by the [[(∞,1)-powering]] $A^{S^1}$, where $S^1 \in Top \simeq \infty Grpd$ is the [[circle]]. (See [[Hochschild cohomology]] for details.)

The second statement follows by observing that the $\infty$-hom-functor $\mathbf{H}(X,-)$ preserves all [[(∞,1)-limit]]s, so that we have [[(∞,1)-pullback]]s

\begin{displaymath}
\itexarray{
    \mathbf{H}(X,F) &\to &*
    \\
    \downarrow && \downarrow
    \\
    \mathbf{H}(X,G) &\to& \mathbf{H}(X,H)
  }
\end{displaymath}
etc. in [[∞Grpd]] at each stage of the fiber sequence. The statement then follows with the familiar [[long exact sequence]] for [[homotopy group]]s in [[Top]] $\simeq$ [[∞Grpd]].

\end{proof}
To every cocycle $g : X \to \mathbf{B}G$ is canonically associated its [[homotopy fiber]] $P \to X$, the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
    P &\to& {*}
    \\
    \downarrow && \downarrow
    \\
    X &\stackrel{g}{\to}& \mathbf{B}G
    \,.
  }
  \,.
\end{displaymath}
We discuss now that $P$ canonically has the structure of a $G$-[[principal ∞-bundle]] and that $\mathbf{B}G$ is the [[fine moduli space]] for $G$-principal $\infty$-bundles.

\begin{defn}
\label{}\hypertarget{}{}
\textbf{(principal $G$-action)}

Let $G$ be a [[groupoid object in an (∞,1)-category|group object in the (∞,1)-topos]] $\mathbf{H}$. A \textbf{principal [[action]]} of $G$ on an object $P \in \mathbf{H}$ is a [[groupoid object in an (∞,1)-category|groupoid object in the (∞,1)-topos]] $P//G$ that sits over $*//G$ in that we have a morphism of [[simplicial object|simplicial diagram]]s $\Delta^{op} \to \mathbf{H}$

\begin{displaymath}
\itexarray{
    \vdots && \vdots
    \\
    P \times G \times G
    &\stackrel{(p_2, p_3)}{\to}& G \times G
    \\
   \downarrow\downarrow\downarrow 
    && \downarrow\downarrow\downarrow
    \\
    P \times G
    &\stackrel{p_2}{\to}& G
    \\
    \downarrow\downarrow && \downarrow\downarrow
    \\
    P &\stackrel{}{\to}& {*}
  }
\end{displaymath}
in $\mathbf{H}$.

We say that the [[(∞,1)-colimit]]

\begin{displaymath}
X : \lim_\to (P//G : \Delta^{op} \to \mathbf{H})
\end{displaymath}
is the \textbf{base space} defined by this action.

\end{defn}
We may think of $P//G$ as the \textbf{[[action groupoid]]} of the $G$-action on $P$. For us it \emph{defines} this $G$-action.

\begin{prop}
\label{}\hypertarget{}{}
The $G$-principal action as defined above satisfies the \textbf{principality condition} in that we have an equivalence of groupoid objects

\begin{displaymath}
\itexarray{
     \vdots && \vdots
     \\
     P \times_X P \times_X P
     &\stackrel{\simeq}{\to}& 
     P \times G \times G
     \\
    \downarrow\downarrow\downarrow 
     && \downarrow\downarrow\downarrow
     \\
     P \times_X P
     &\stackrel{\simeq}{\to}& 
     P \times G
     \\
     \downarrow\downarrow && \downarrow\downarrow
     \\
     P &\stackrel{\simeq}{\to}& P
   }
   \,.
\end{displaymath}
\end{prop}
\begin{proof}
This principality condition asserts that the groupoid object $P//G$ is [[groupoid object in an (infinity,1)-category|effective]]. By [[(∞,1)-topos|Giraud's axioms characterizing (∞,1)-toposes]], every groupoid object in $\mathbf{H}$ is effective.

\end{proof}
\begin{prop}
\label{}\hypertarget{}{}
For $X \to \mathbf{B}G$ any morphism, its [[homotopy fiber]] $P \to X$ is canonically equipped with a principal $G$-action with base space $X$.

\end{prop}
\begin{proof}
By the above we need to show that we have a morphism of simplicial diagrams

\begin{displaymath}
\itexarray{
    \vdots && \vdots && \vdots
    \\
    P \times_X P \times_X P 
    &\stackrel{\simeq}{\to}& P \times G \times G
    &\to& G \times G
    \\
    \downarrow\downarrow\downarrow
    && 
   \downarrow\downarrow\downarrow 
    && \downarrow\downarrow\downarrow
    \\
    P \times_X P &\stackrel{\simeq}{\to}& P \times G
    &\stackrel{p_2}{\to}& G
    \\
    \downarrow\downarrow
    && \downarrow\downarrow && \downarrow\downarrow
    \\
    P &\stackrel{=}{\to}& P &\stackrel{}{\to}& {*}
    \\
    \downarrow && \downarrow && \downarrow
    \\
    X &\stackrel{=}{\to}& X &\stackrel{g}{\to}& \mathbf{B}G
  }
  \,,
\end{displaymath}
where the left horizontal morphisms are equivalences, as indicated. We proceed by induction through on the height of this diagram.

The defining [[(∞,1)-pullback]] square for $P \times_X P$ is

\begin{displaymath}
\itexarray{
    P \times_X P &\to& P
    \\
    \downarrow && \downarrow
    \\
    P &\to& X
  }
\end{displaymath}
To compute this, we may attach the defining $(\infty,1)$-pullback square of $P$ to obtain the [[pasting]] diagram

\begin{displaymath}
\itexarray{
    P \times_X P &\to& P &\to& {*}
    \\
    \downarrow && \downarrow && \downarrow
    \\
    P &\to& X &\to& \mathbf{B}G
    \,.
  }
\end{displaymath}
and use the \href{http://ncatlab.org/nlab/show/pullback#Pasting}{pasting law for pullbacks}, to conclude that $P \times_X P$ is the pullback

\begin{displaymath}
\itexarray{
    P \times_X P &\to& &\to& {*}
    \\
    \downarrow && && \downarrow
    \\
    P &\to& X &\to& \mathbf{B}G
    \,.
  }
\end{displaymath}
By defnition of $P$ as the homotopy fiber of $X \to \mathbf{B}G$, the lower horizontal morphism is equivalent to $P \to {*} \to \mathbf{B}G$, so that $P \times_X P$ is equivalent to the pullback

\begin{displaymath}
\itexarray{
    P \times_X P &\to& &\to& {*}
    \\
    \downarrow && && \downarrow
    \\
    P &\to& {*} &\to& \mathbf{B}G
    \,.
  }
\end{displaymath}
This finally may be computed as the pasting of two pullbacks

\begin{displaymath}
\itexarray{
    P \times_X P &\simeq& P \times G &\to& G &\to& {*}
    \\
    &&\downarrow && \downarrow && \downarrow
    \\
    &&P &\to& {*} &\to& \mathbf{B}G
    \,.
  }
\end{displaymath}
of which the one on the right is the defining one for $G$ and the remaining one on the left is just an [[(∞,1)-product]].

Proceeding by induction from this case we find analogousy that $P^{\times_X^{n+1}} \simeq P \times G^{\times_n}$: suppose this has been shown for $(n-1)$, then the defining pullback square for $P^{\times_X^{n+1}}$ is

\begin{displaymath}
\itexarray{
    P \times_X P^{\times_X^n}
    &\to&
    P
    \\
    \downarrow && \downarrow
    \\
    P^{\times_X^n}&\to& X
  }
  \,.
\end{displaymath}
We may again paste this to obtain

\begin{displaymath}
\itexarray{
    P \times_X P^{\times_X^n}
    &\to&
    P
    &\to&
    *
    \\
    \downarrow && \downarrow && \downarrow
    \\
    P^{\times_X^n}&\to& X &\to& \mathbf{B}G
  }
\end{displaymath}
and use from the previous induction step that

\begin{displaymath}
(P^{\times_X^n} \to X \to \mathbf{B}G) 
  \simeq
  (P^{\times_X^n} \to * \to \mathbf{B}G)
\end{displaymath}
to conclude the induction step with the same arguments as before.

\end{proof}
\begin{defn}
\label{GPrincipalInfinityBundle}\hypertarget{GPrincipalInfinityBundle}{}
We say a $G$-principal action of $G$ on $P$ over $X$ is a $G$-[[principal ∞-bundle]] if the colimit over $P//G \to *//G$ produces a pullback square: the bottom square in

\begin{displaymath}
\itexarray{
    \vdots && \vdots
    \\
    P \times G \times G
    &\to& G \times G
    \\
   \downarrow\downarrow\downarrow 
    && \downarrow\downarrow\downarrow
    \\
    P \times G
    &\stackrel{p_2}{\to}& G
    \\
    \downarrow\downarrow && \downarrow\downarrow
    \\
    P &\stackrel{}{\to}& {*}
    \\
    \downarrow && \downarrow
    \\
    X = \lim_\to (P \times G^\bullet) &\stackrel{g}{\to}& 
   \mathbf{B}G = \lim_\to( G^\bullet)
  }
  \,.
\end{displaymath}
\end{defn}
Of special interest are principal $\infty$-bundles of the form $P \to \mathbf{B}G$:

\begin{defn}
\label{InfinityGroupExtensions}\hypertarget{InfinityGroupExtensions}{}
We say a sequence of \hyperlink{InfinGroups}{cohesive ∞-groups}

\begin{displaymath}
A \to \hat G \to G
\end{displaymath}
\emph{exhibits $\hat G$ as an [[group extension|extension]] of $G$ by $A$} if the corresponding [[delooping]] sequence

\begin{displaymath}
\mathbf{B}A \to \mathbf{B}\hat G \to \mathbf{B}G
\end{displaymath}
if a [[fiber sequence]]. If this fiber sequence extends one step further to the right to a morphism $\phi : \mathbf{B}G \to \mathbf{B}^2 A$, we have by def. \ref{GPrincipalInfinityBundle} that $\mathbf{B}\hat G \to \mathbf{B}G$ is the $\mathbf{B}A$-[[principal ∞-bundle]] classified by the [[cocycle]] $\phi$; and $\mathbf{B}A \to \mathbf{B}\hat G$ is its [[fiber]] over the unique point of $\mathbf{B}G$.

Given an extension and a a $G$-[[principal ∞-bundle]] $P \to X$ in $\mathbf{H}$ we say a \textbf{lift} $\hat P$ of $P$ to a $\hat G$-principal $\infty$-bundle is a factorization of its classifying [[cocycle]] $g : X \to \mathbf{B}G$ through the extension

\begin{displaymath}
\itexarray{
      && \mathbf{B}\hat G
     \\
     & {}^{\mathllap{\hat g}}\nearrow & \downarrow
    \\
    X &\stackrel{g}{\to}& \mathbf{B}G
  }
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{ExtendedBundlesByBundlesOfExtensions}\hypertarget{ExtendedBundlesByBundlesOfExtensions}{}
Let $A \to \hat G \to G$ be an extension of $\infty$-groups, def. \ref{InfinityGroupExtensions} in $\mathbf{H}$ and let $P \to X$ be a $G$-[[principal ∞-bundle]].

Then a $\hat G$-extension $\hat P \to X$ of $P$ is in particular also an $A$-principal $\infty$-bundle $\hat P \to P$ over $P$ with the property that its restriction to any [[fiber]] of $P$ is equivalent to $\hat G \to G$.

\end{prop}
We may summarize this as saying:

\begin{quote}%
An extension of $\infty$-bundles is an $\infty$-bundle of extensions.


\end{quote}
\begin{proof}
This follows from repeated application of the [[pasting law]] for [[(∞,1)-pullback]]s: consider the following diagram in $\mathbf{H}$

\begin{displaymath}
\itexarray{
    \hat G &\to& \hat P &\to& *
    \\
    \downarrow && \downarrow && \downarrow
    \\
    G &\to& P &\stackrel{q}{\to}& \mathbf{B}A &\to& {*}
    \\
    \downarrow && \downarrow && \downarrow && \downarrow
    \\
    {*} &\stackrel{x}{\to}&
    X &\stackrel{\hat g}{\to}& \mathbf{B}\hat G
    &\stackrel{}{\to}& \mathbf{B}G
  }
  \,.
\end{displaymath}
The bottom composite $g : X \to \mathbf{B}G$ is a cocycle for the given $G$-principal $\infty$-bundle $P \to X$ and it factors through $\hat g : X \to \mathbf{B}\hat G$ by assumption of the existence of the extension $\hat P \to P$.

Since also the bottom right square is an $\infty$-pullback by the given $\infty$-group extension, the [[pasting law]] asserts that the square over $\hat g$ is also a pullback, and then that so is the square over $q$. This exhibits $\hat P$ as an $A$-principal $\infty$-bundle over $P$.

Now choose any point $x : {*} \to X$ of the base space as on the left of the diagram. Pulling this back upwards through the diagram and using the pasting law and the definition of [[loop space object]]s $G \simeq \Omega \mathbf{B}G \simeq * \prod_{\mathbf{B}G} *$ the diagram completes by $(\infty,1)$-pullback squares on the left as indicated, which proves the claim.

\end{proof}
\hypertarget{InftyGerbe}{}\subsubsection*{{$\infty$-Gerbes}}\label{InftyGerbe}

For the moment see the discussion at \emph{[[∞-gerbe]]} .

\hypertarget{TwistedCohomology}{}\subsubsection*{{Twisted cohomology and section}}\label{TwistedCohomology}

A slight variant of [[cohomology]] is often relevant: [[twisted cohomology]].

\begin{defn}
\label{TwistedCohomologyInOvertopos}\hypertarget{TwistedCohomologyInOvertopos}{}
For $\mathbf{H}$ an [[(∞,1)-topos]] let $\mathbf{c} : B \to C$ a [[morphism]] representing a [[characteristic class]] $[\mathbf{c}] \in H(B,C)$. Let $C$ be [[pointed object|pointed]] and write $A \to B$ for its [[homotopy fiber]].

We say that the \textbf{[[twisted cohomology]]} with coefficients in $A$ relative to $\mathbf{c}$ is the [[cohomology|intrinsic cohomology]] of the [[over-(∞,1)-topos]] $\mathbf{H}/C$ with coefficients in $f$.

If $\mathbf{c}$ is understood and $\phi : X \to B$ is any morphism, we write

\begin{displaymath}
\mathbf{H}_{\phi}(X, A)
   :=
  \mathbf{H}/C(\phi, \mathbf{c})
\end{displaymath}
and speak of the \emph{[[cocycle]] [[∞-groupoid]] of twisted cohomology on $X$ with coefficients in $A$ and twisting cocycle $\phi$ relative to $[\mathbf{c}]$} .

\end{defn}
For short we often say \emph{twist} for \emph{twisting cocycle} .

\begin{prop}
\label{DirectPropsOfTwistedCohomology}\hypertarget{DirectPropsOfTwistedCohomology}{}
We have the following immediate properties of twisted cohomology:

\begin{itemize}%
\item The $\phi$-twisted cohomology relative to $\mathbf{c}$ depends, up to [[equivalence in an (∞,1)-category|equivalence]], only on the [[characteristic class]] $[\mathbf{c}] \in H(B,C)$ represented by $\mathbf{c}$ and also only on the equivalence class $[\phi] \in H(X,C)$ of the twist.


\item If the characteristic class is [[terminal object|terminal]], $\mathbf{c} : B \to *$ we have $A \simeq B$ and the corresponding twisted cohomology is ordinary cohomology with coefficients in $A$.



\end{itemize}
\end{prop}
\begin{prop}
\label{PullbackCharacterizationOfTwistedCohomology}\hypertarget{PullbackCharacterizationOfTwistedCohomology}{}
Let the [[characteristic class]] $\mathbf{c} : B \to C$ and a twist $\phi : X \to C$ be given. Then the cocycle $\infty$-groupoid of twisted $A$-cohomology on $X$ is given by the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
    \mathbf{H}_{\phi}(X,A) &\to& {*}
    \\
    \downarrow && \downarrow^{\mathrlap{\phi}}
    \\
    \mathbf{H}(X,B) &\stackrel{\mathbf{c}_*}{\to}& 
    \mathbf{H}(X,C)
  }
\end{displaymath}
in [[∞Grpd]].

\end{prop}
\begin{proof}
This is an application of the general pullback-formula for hom-spaces in an [[over-(∞,1)-category]]. See there for details.

\end{proof}
\begin{prop}
\label{TrivialTwistYieldsOrdinaryCohomology}\hypertarget{TrivialTwistYieldsOrdinaryCohomology}{}
If the twist is trivial, $\phi = 0$ (meaning that it factors as $\phi : X \to * \to C$ through the point of the pointed object $C$), the corresponding twisted $A$-cohomology is equivalent to ordinary $A$-cohomology

\begin{displaymath}
\mathbf{H}_{\phi = 0}(X,A)
   \simeq  
  \mathbf{H}(X,A)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
In this case we have that the characterizing $(\infty,1)$-pullback diagram from prop. \ref{PullbackCharacterizationOfTwistedCohomology} is the image under the [[hom-functor]] $\mathbf{H}(X,-) : \mathbf{H} \to \infty Grpd$ of the pullback diagram $B \stackrel{\mathbf{c}}{\to} C \leftarrow *$. By definition of $A$ as the [[homotopy fiber]] of $\mathbf{c}$, its pullback is $A$. Since the [[hom-functor]] $\mathbf{H}(X,-)$ preserves [[(∞,1)-pullbacks]] the claim follows:

\begin{displaymath}
\begin{aligned}
    \mathbf{H}_{\phi = 0 }(X,A)
     & \simeq
    \mathbf{H}(X,B) \prod_{\mathbf{H}(X,C)} \mathbf{H}(X,*)
     \\
     & \simeq
      \mathbf{H}(X, B \prod_C *)
     \\
     & \simeq 
      \mathbf{H}(X,A)
  \end{aligned} 
  \,.
\end{displaymath}
\end{proof}
Often twisted cohomology is formulated in terms of homotopy classes of sections of a bundle. The following asserts that this is equivalent to the above definition.

By the discussion at \hyperlink{Cohomology}{Cohomology and principal ∞-bundles} we may understand the twist $\phi : X \to C$ as the cocycle for an $\Omega C$-[[principal ∞-bundle]] over $X$, being the [[(∞,1)-pullback]] of the point inclusion $* \to C$ along $\phi$, where the point is the homotopy-incarnation of the universal $\Omega C$-principal $\infty$-bundle. The [[characteristic class]] $B \to C$ in turn we may think of as an $\Omega A$-bundle [[associated bundle|associated]] to this universal bundle. Accordingly the pullback of $P_\phi := X \times_C B$ is the associated $\Omega A$-bundle over $X$ classified by $\phi$.

\begin{prop}
\label{TwistedCohomologyBySections}\hypertarget{TwistedCohomologyBySections}{}
Let $P_\phi := X \times_C B$ be [[(∞,1)-pullback]] of the [[characteristic class]] $\mathbf{c}$ along the twisting cocycle $\phi$

\begin{displaymath}
\itexarray{
     P_\phi &\to& B
     \\
     {}^{\mathllap{p}}\downarrow && \downarrow^{\mathrlap{\mathbf{c}}}
     \\
     X &\stackrel{\phi}{\to}& C
  }
  \,.
\end{displaymath}
Then the $\phi$-twisted $A$-cohomology of $X$ is equivalently the space of [[section]]s $\Gamma_X(P_\phi)$ of $P_\phi$ over $X$:

\begin{displaymath}
\mathbf{H}_{tw,\phi}(X,A)
  \simeq
  \Gamma_X(P_\phi)
  \,,
\end{displaymath}
where on the right we have the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{ 
     \Gamma_X(P_\phi) &\to& *
     \\
     \downarrow && \downarrow^{\mathrm{id}}
     \\
     \mathbf{H}(X,P_\phi) &\stackrel{p_*}{\to}& \mathbf{H}(X,X)
  }
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Consider the [[pasting diagram]]

\begin{displaymath}
\itexarray{
     \mathbf{H}_{\phi}(X,A) \simeq & \Gamma_\phi(X)
     &\to& {*}
     \\
     & \downarrow && \downarrow^{\mathrlap{id}}
     \\
     & \mathbf{H}(X,P_{\phi}) &\stackrel{p_*}{\to}& \mathbf{H}(X,X)
     \\
     & \downarrow && \downarrow^{\mathrlap{\phi}_*}
     \\
     & \mathbf{H}(X,B) &\stackrel{\mathbf{c}_*}{\to}&
     \mathbf{H}(X,C)
  }
  \,.
\end{displaymath}
By the fact that the [[hom-functor]] $\mathbf{H}(X,-)$ preserves [[(∞,1)-limit]]s the bottom square is an [[(∞,1)-pullback]]. By the [[pasting law]] for [[(∞,1)-pullback]]s so is then the total outer diagram. Noticing that the right vertical composite is $* \stackrel{\mathbf{\phi}}{\to} \mathbf{H}(X,C)$ the claim follows with prop. \ref{PullbackCharacterizationOfTwistedCohomology}.

\end{proof}
\begin{note}
\label{CollectingTwistedCohomologyForDifferentTwists}\hypertarget{CollectingTwistedCohomologyForDifferentTwists}{}
In applications one is typically interested in situations where the [[characteristic class]] $[\mathbf{c}]$ and the domain $X$ is fixed and the twist $\phi$ varies. Since by prop. \ref{DirectPropsOfTwistedCohomology} only the equivalence class $[\phi] \in H(X,C)$ matters, it is sufficient to pick one representative $\phi$ in each equivalence class. Such as choice is equivalently a choice of [[section]]

\begin{displaymath}
H(X,C) := \pi_0 \mathbf{H}(X,C) \to \mathbf{H}(X,C)
\end{displaymath}
of the [[0-truncated|0-truncation]] projection $\mathbf{H}(X,C) \to H(X,C)$ from the cocycle $\infty$-groupoid to the set of cohomology classes. This justifies the following terminology.

\end{note}
\begin{defn}
\label{TotalTwistedCohomology}\hypertarget{TotalTwistedCohomology}{}
With a [[characteristic class]] $[\mathbf{c}] \in H(B,C)$ with [[homotopy fiber]] $A$ understood, we write

\begin{displaymath}
\mathbf{H}_{tw}(X,A) := \coprod_{[\phi] \in H(X,C)} \mathbf{H}_{tw, \phi}(X,A)
\end{displaymath}
for the union of all twisted cohomology cocycle $\infty$-groupoids.

\end{defn}
\begin{prop}
\label{TotalTwistedCohomologyByPullback}\hypertarget{TotalTwistedCohomologyByPullback}{}
We have that $\mathbf{H}_{tw}(X,A)$ is the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
     \mathbf{H}_{tw}(X,A) &\stackrel{tw}{\to}& H(X,C)
     \\
     \downarrow && \downarrow
     \\
     \mathbf{H}(X,B)
       &\stackrel{\mathbf{c}_*}{\to}&
     \mathbf{H}(X,C)
  }
  \,,
\end{displaymath}
where the right vertical morphism in any section of the projection from $C$-cocycles to $C$-cohomology.

\end{prop}
\begin{note}
\label{NoteOnCopiesOfHomotopyFibersForTwistedCohomology}\hypertarget{NoteOnCopiesOfHomotopyFibersForTwistedCohomology}{}
When the [[(∞,1)-topos]] $\mathbf{H}$ is [[presentable (∞,1)-category|presented]] by a [[model structure on simplicial presheaves]] and model for $X$ and $C$ is chosen, then the cocycle [[∞-groupoid]] $\mathbf{H}(X,C)$ is presented by an explicit [[simplicial presheaf]] $\mathbf{H}(X,C)_{simp} \in sSet$. Once these choices are made, there is therefore the inclusion of simplicial presheaves

\begin{displaymath}
const (\mathbf{H}(X,C)_{simp})_0 \to \mathbf{H}(X,C)_{simp}
  \,,
\end{displaymath}
where on the left we have the simplicially constant object on the vertices of $\mathbf{H}(X,C)_{simp}$. This morphism, in turn, presents a morphism in $\infty Grpd$ that in general contains a multitude of copies of the components of any $H(X,C) \to \mathbf{H}(X,C)$: a multitude of representatives of twists for each cohomology class of twists. Since by the above the twisted cohomology does not depend, up to equivalence, on the choice of representative, the coresponding $(\infty,1)$-pullback yields in general a larger coproduct of $\infty$-groupoids as the corresponding twisted cohomology. This however just contains copies of the [[homotopy type]]s already present in $\mathbf{H}_{tw}(X,A)$ as defined above.

\end{note}
\hypertarget{GroupRepresentations}{}\subsubsection*{{$\infty$-Group representations and associated $\infty$-bundles}}\label{GroupRepresentations}

The material to go here is at [[schreiber:differential cohomology in a cohesive topos|Schreiber, section 2.3.7]].

(\ldots{})

\hypertarget{Concordance}{}\subsubsection*{{Concordance}}\label{Concordance}

Since $\mathbf{H}$ is an [[(∞,1)-topos]] it carries canonically the structure of a [[cartesian closed (∞,1)-category]]. For\newline $X, Y \in \mathbf{H}$, write $Y^X \in \mathbf{H}$ for the corresponding [[internal hom]].

Since $\Pi : \mathbf{H} \to$ [[∞Grpd]] preserves products, we have for all $X,Y, Z \in \mathbf{H}$ canonically induced a morphism

\begin{displaymath}
\Pi(Y^X) \times \Pi(Z^Y)
   \stackrel{\simeq}{\to}
  \Pi(Y^X \times Z^Y)
  \stackrel{\Pi(comp_{X,Y,Z})}{\to}
  \Pi(Z^X)
  \,.
\end{displaymath}
This should yield an [[(∞,1)-category]] $\tilde \mathbf{H}$ with the same objects as $\mathbf{H}$ and hom-$\infty$-groupoids defined by

\begin{displaymath}
\tilde \mathbf{H}(X,Y) := \Pi(Y^X)
  \,.
\end{displaymath}
We have that

\begin{displaymath}
\tilde \mathbf{H}(X,\mathbf{B}G) = \Pi(\mathbf{B}G^X)
\end{displaymath}
is the $\infty$-groupoid whose objects are $G$-[[principal ∞-bundle]]s on $X$ and whose morphisms have the interpretaton of $G$-principal bundles on the cylinder $X \times I$. These are \emph{[[concordance]]s of $\infty$-bundles.}

\hypertarget{Homotopy}{}\subsubsection*{{Geometric homotopy / \'e{}tale homotopy}}\label{Homotopy}

We discuss canonical internal realizations of the notions of [[étale homotopy]], [[geometric homotopy groups in an (infinity,1)-topos]] and [[local systems]] .

\begin{defn}
\label{}\hypertarget{}{}
For $\mathbf{H}$ a [[locally ∞-connected (∞,1)-topos]] and $X \in \mathbf{H}$ an [[object]], we call $\Pi X \in$ [[∞Grpd]] the \textbf{[[fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos]]} of $X$.

The ([[categorical homotopy groups in an (∞,1)-topos|categorical]]) [[homotopy group]]s of $\Pi(X)$ we call the [[geometric homotopy groups in an (∞,1)-topos|geometric homotopy groups]] of $X$

\begin{displaymath}
\pi_\bullet^{geom}(X) := \pi_\bullet(\Pi (X))
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{GeometricRealization}\hypertarget{GeometricRealization}{}
For $\vert - \vert :$ [[∞Grpd]] $\stackrel{\simeq}{\to}$ [[Top]] the [[homotopy hypothesis]]-[[equivalence of (∞,1)-categories|equivalence]] we write

\begin{displaymath}
\vert X \vert := \vert \Pi X \vert \in Top
\end{displaymath}
and call this the \textbf{topological [[geometric realization of cohesive ∞-groupoids]]} of $X$, or just the \emph{geometric realization} for short.

\end{defn}
\begin{note}
\label{GeometricRealizationInTheLiterature}\hypertarget{GeometricRealizationInTheLiterature}{}
In presentations of $\mathbf{H}$ by a [[model structure on simplicial presheaves]] -- as discussed at [[∞-cohesive site]] -- this abstract notion reproduces the notion of geometric realization of [[∞-stack]]s in (\hyperlink{Simpson}{Simpson}). See remark 2.22 in (\hyperlink{SimpsonTeleman}{SimpsonTeleman}).

\end{note}
\begin{defn}
\label{}\hypertarget{}{}
We say a \textbf{geometric [[homotopy]]} between two morphism $f,g : X \to Y$ in $\mathbf{H}$ is a diagram

\begin{displaymath}
\itexarray{
    X 
    \\
    \downarrow^{\mathrlap{(Id,i)}} & \searrow^{\mathrlap{f}}
    \\
    X \times I &\stackrel{\eta}{\to}& Y
    \\
    \uparrow^{\mathrlap{(Id,o)}} & \nearrow_{\mathrlap{g}}
    \\
    X
  }
\end{displaymath}
such that $I$ is geometrically connected, $\pi_0^{geom}(I) = *$.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
If $f,g : X\to Y$ are geometrically homotopic in $\mathbf{H}$, then their images $\Pi(f), \Pi(g)$ are equivalent in $\infty Grpd$.

\end{prop}
\begin{proof}
By the condition that $\Pi$ preserves products in a cohesive $(\infty,1)$-topos we have that the image of the geometric homotopy in $\infty Grpd$ is a diagram of the form

\begin{displaymath}
\itexarray{
    \Pi(X) 
    \\
    \downarrow^{\mathrlap{(Id,\Pi(i))}} & \searrow^{\mathrlap{\Pi(f)}}
    \\
    \Pi(X) \times \Pi(I) &\stackrel{\Pi(\eta)}{\to}& \Pi(Y)
    \\
    \uparrow^{\mathrlap{(Id,\Pi(o))}} & \nearrow_{\mathrlap{\Pi(g)}}
    \\
    \Pi(X)
  }
  \,.
\end{displaymath}
Now since $\Pi(I)$ is connected by assumption, there is a diagram

\begin{displaymath}
\itexarray{
     && *
     \\
     & {}^{\mathllap{Id}}\nearrow & \downarrow^{\mathrlap{\Pi(i)}}
     \\
     * &\to& \Pi(I)
     \\
     & {}_{\mathllap{Id}}\searrow & \uparrow^{\mathrlap{\Pi(o)}}
     \\
     && *
  }
\end{displaymath}
in [[∞Grpd]].

Taking the product of this diagram with $\Pi(X)$ and pasting the result to the above image $\Pi(\eta)$ of the geometric homotopy constructs the equivalence $\Pi(f) \Rightarrow \Pi(g)$ in $\infty Grpd$.

\end{proof}
\begin{prop}
\label{}\hypertarget{}{}
For $\mathbf{H}$ a [[locally ∞-connected (∞,1)-topos]], also all its objects $X \in \mathbf{H}$ are locally $\infty$-connected, in the sense their [[petit topos|petit]] [[over-(∞,1)-toposes]] $\mathbf{H}/X$ are locally $\infty$-connected.

The two notions of fundamental $\infty$-groupoids of $X$ induced this way do agree, in that there is a natural equivalence

\begin{displaymath}
\Pi_X(X \in \mathbf{H}/X) \simeq \Pi(X \in \mathbf{H})
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By the general facts recalled at [[étale geometric morphism]] we have a composite [[essential geometric morphism]]

\begin{displaymath}
(\Pi_X \dashv \Delta_X \dashv \Gamma_X) : 
  \mathbf{H}_{/X}
   \stackrel{\overset{X_!}{\to}}{\stackrel{\overset{X^*}{\leftarrow}}{\underset{\X_*}{\to}}}
  \mathbf{H}
   \stackrel{\overset{\Pi}{\to}}{\stackrel{\overset{\Delta}{\leftarrow}}{\underset{\Gamma}{\to}}}  
   \infty Grpd
\end{displaymath}
and $X_!$ is given by sending $(Y \to X) \in \mathbf{H}/X$ to $Y \in \mathbf{H}$.

\end{proof}
\hypertarget{A1HomotopyContinuum}{}\subsubsection*{{Cohesive $\mathbb{A}^1$-homotopy / The Continuum}}\label{A1HomotopyContinuum}

\begin{defn}
\label{}\hypertarget{}{}
An object $\mathbb{A}^1 \in \mathbf{H}$ is called a \textbf{line object exhibiting the cohesion of $\mathbf{H}$} if the [[shape modality]] $&#643;$ (hence the reflector $\Pi : \mathbf{H} \to \infty Grpd$) exhibits the [[localization of an (∞,1)-category]] of $\mathbf{H}$ at the class of morphisms $\{ X \times \mathbb{A}^1 \to X \}_{X \in \mathbf{H}}$.

\end{defn}
\begin{example}
\label{RealLineIsTheContinuum}\hypertarget{RealLineIsTheContinuum}{}
The cohesion of [[Smooth∞Grpd]] \emph{is exhibited} (in the sense defined \href{cohesive+%28infinity%2C1%29-topos#A1ExhibitingCohesion}{here}) by the [[real line]] (the standard [[continuum]]) under the canonical embedding $\mathbb{R} \in$ [[SmoothMfd]] $\hookrightarrow$ [[Smooth∞Grpd]].

\end{example}
This is (\hyperlink{dcct}{dcct, 3.9.1}).

\begin{remark}
\label{}\hypertarget{}{}
The analogous notion in [[infinitesimal cohesion]] is discussed in \hyperlink{cohesive+(infinity%2C1}{infinitesimal cohesion -- infinitesimal A1-homotopy}-topos+--+infinitesimal+cohesion\#InfinitesimalA1Homotopy).

\end{remark}
See also at

\begin{itemize}%
\item [[A1-homotopy theory]]


\item [[continuum]]



\end{itemize}
\hypertarget{GaloisTheory}{}\subsubsection*{{Galois theory}}\label{GaloisTheory}

We discuss a canonical internal notion of [[Galois theory]] in $\mathbf{H}$.

\begin{defn}
\label{}\hypertarget{}{}
For $\kappa$ a [[regular cardinal]] write

\begin{displaymath}
Core \infty Grpd_\kappa \in \infty Grpd
\end{displaymath}
for the [[∞-groupoid]] of $\kappa$-[[small (∞,1)-category|small ∞-groupoid]]s: the [[core]] of the full [[sub-(∞,1)-category]] of [[∞Grpd]] on the $\kappa$-small ones.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
We have

\begin{displaymath}
Core \infty Grpd_\kappa \simeq
  \coprod_i \mathbf{B} Aut(F_i)
  \,,
\end{displaymath}
where the coproduct ranges over all $\kappa$-small [[homotopy type]]s $[F_i]$ and $Aut(F_i)$ is the [[automorphism ∞-group]] of any representative $F_i$ of $[F_i]$.

\end{remark}
\begin{defn}
\label{}\hypertarget{}{}
For $X \in \mathbf{H}$ write

\begin{displaymath}
LConst(X) := \mathbf{H}(X, Disc Core \infty Grpd_\kappa)
  \,.
\end{displaymath}
We call this the $\infty$-groupoid of \textbf{[[locally constant ∞-stack]]s} on $X$.

\end{defn}
\begin{observation}
\label{}\hypertarget{}{}
Since $Disc$ is [[left adjoint]] and [[right adjoint]] it commutes with [[coproduct]]s and with [[delooping]] and therefore

\begin{displaymath}
Disc Core \infty Grpd_\kappa 
    \simeq 
  \coprod_i \mathbf{B} Disc Aut(F_i)
  \,.
\end{displaymath}
Therefore a cocycle $P \in LConst(X)$ may be identified on each geometric connected component of $X$ as a $Disc Aut(F_i)$-[[principal ∞-bundle]] $P \to X$ over $X$ for the [[∞-group]] object $Disc Aut(F_i) \in \mathbf{H}$. We may think of this as an object $P \in \mathbf{H}/X$ in the [[little topos]] over $X$. This way the objects of $LConst(X)$ are indeed identified $\infty$-stacks over $X$.

\end{observation}
The following proposition says that the central statements of [[Galois theory]] hold for these canonical notions of geometric homotopy groups and locally constant $\infty$-stacks.

\begin{prop}
\label{}\hypertarget{}{}
For $\mathbf{H}$ [[locally ∞-connected (∞,1)-topos|locally ∞-connected]] and [[∞-connected (∞,1)-topos|∞-connected]], we have

\begin{itemize}%
\item a natural equivalence

\begin{displaymath}
LConst(X) \simeq \infty \mathrm{Grpd}(\Pi(X), \infty Grpd_\kappa)
\end{displaymath}
of locally constant $\infty$-stacks on $X$ with $\infty$-[[permutation representation]]s of the [[fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos|fundamental ∞-groupoid]] of $X$ ([[local system]]s on $X$);


\item for every point $x : * \to X$ a natural equivalence of the endomorphisms of the fiber functor $x^*$ and the [[loop space]] of $\Pi(X)$ at $x$

\begin{displaymath}
End( x^* : LConst(X) \to \infty Grpd ) \simeq \Omega_x \Pi(X)
  \,.
\end{displaymath}


\end{itemize}
\end{prop}
\begin{proof}
The first statement is just the adjunction $(\Pi \dashv Disc)$.

\begin{displaymath}
\begin{aligned}
     LConst(X) & := \mathbf{H}(X, Disc Core \infty Grpd_\kappa)
     \\
     &  \simeq \infty Grpd(\Pi(X), Core \infty Grpd_\kappa)
     \\
     &  \simeq \infty Grpd(\Pi(X), \infty Grpd_\kappa)     
  \end{aligned}
  \,.
\end{displaymath}
Using this and that $\Pi$ preserves the [[terminal object in an (∞,1)-category|terminal object]], so that the [[adjunct]] of $(* \to X \to Disc Core \infty Grpd_\kappa)$ is $(* \to \Pi(X) \to \infty Grpd_\kappa)$

the second statement follows with an iterated application of the [[(∞,1)-Yoneda lemma]] (this is pure [[Tannaka duality]] as discussed there):

The fiber functor $x^* : Func(\Pi(X), \infty Grpd) \to \infty Grpd$ evaluates an $(\infty,1)$-presheaf on $\Pi(X)^{op}$ at $x \in \Pi(X)$. By the [[(∞,1)-Yoneda lemma]] this is the same as homming out of $j(x)$, where $j : \Pi(X)^{op} \to Func(\Pi(X), \infty Grpd)$ is the [[(∞,1)-Yoneda embedding]]:

\begin{displaymath}
x^* \simeq Hom_{PSh(\Pi(X)^{op})}(j(x), -)
  \,.
\end{displaymath}
This means that $x^*$ itself is a representable object in $PSh(PSh(\Pi(X)^{op})^{op})$. If we denote by $\tilde j : PSh(\Pi(X)^{op})^{op} \to PSh(PSh(\Pi(X)^{op})^{op})$ the corresponding Yoneda embedding, then

\begin{displaymath}
x^* \simeq \tilde j (j (x))
  \,.
\end{displaymath}
With this, we compute the endomorphisms of $x^*$ by applying the [[(∞,1)-Yoneda lemma]] two more times:

\begin{displaymath}
\begin{aligned}
    End x^*
     & \simeq
    End_{PSh(PSh(\Pi(X)^{op})^{op})} (\tilde j(j (x)))
     \\
     & \simeq
     End(PSh(\Pi(X))^{op}) (j(x))
     \\
     & \simeq
     End_{\Pi(X)^{op}}(x,x)
    \\
     & \simeq
     Aut_x \Pi(X)
    \\
     & =: \Omega_x \Pi(X)
  \end{aligned}
   \,.
\end{displaymath}
\end{proof}
\hypertarget{vanKampenTheorem}{}\subsubsection*{{van Kampen theorem}}\label{vanKampenTheorem}

A [[higher homotopy van Kampen theorem|higher]] [[van Kampen theorem]] asserts that passing to [[fundamental ∞-groupoid]]s preserves certain colimits.

On a cohesive $(\infty,1)$-topos $\mathbf{H}$ the fundamental $\infty$-groupoid functor $\Pi : \mathbf{H} \to \infty Grpd$ is a [[left adjoint]] [[(∞,1)-functor]] and hence preserves all [[(∞,1)-colimit]]s.

More interesting is the question which $(\infty,1)$-colimits of \hyperlink{ConcreteObjects}{concrete spaces} in

\begin{displaymath}
Conc(\mathbf{H}) 
    \stackrel{\overset{conc}{\leftarrow}}{\underset{inj}{\hookrightarrow}} 
  \mathbf{H}
\end{displaymath}
are preserved by $\Pi \circ inj : Conc(\mathbf{H}) \to \infty Grpd$. These colimits are computed by first computing them in $\mathbf{H}$ and then applying the concretization functor. So we have

\begin{lemma}
\label{}\hypertarget{}{}
Let $U_\bullet : K \to Conc(\mathbf{H})$ be a [[diagram]] such that the [[(∞,1)-colimit]] $\lim_\to inj \circ U_\bullet$ is concrete, $\cdots \simeq inj(X)$.

Then the [[fundamental ∞-groupoid]] of $X$ is computed as the $(\infty,1)$-colimit

\begin{displaymath}
\Pi(X) \simeq {\lim_\to} \Pi(U_\bullet)
  \,.
\end{displaymath}
\end{lemma}
In the \hyperlink{Examples}{Examples} we discuss the cohesive $(\infty,1)$-topos $\mathbf{H} = (\infty,1)Sh(TopBall)$ of [[topological ∞-groupoid]]s For that case we recover the ordinary [[higher van Kampen theorem]]:

\begin{prop}
\label{}\hypertarget{}{}
Let $X$ be a [[paracompact space|paracompact]] or [[locally contractible space|locally contractible]] [[topological space]]s and $U_1 \hookrightarrow X$, $U_2 \hookrightarrow X$ a [[covering]] by two [[open subsets]].

Then under the [[singular simplicial complex]] functor $Sing : Top \to$ [[sSet]] we have a [[homotopy pushout]]

\begin{displaymath}
\itexarray{
    Sing(U_1) \cap Sing(U_2) &\to& Sing(U_2)
    \\
    \downarrow && \downarrow
    \\
    Sing(U_1) &\to& Sing(X)
  }
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
We inject the topological space via the external [[Yoneda embedding]]

\begin{displaymath}
Top \hookrightarrow Sh(TopBalls) \hookrightarrow
  \mathbf{H} := (\infty,1)Sh(OpenBalls)
\end{displaymath}
as a 0-[[truncated]] [[topological ∞-groupoid]] in the cohesive $(\infty,1)$-topos $\mathbf{H}$. Being an [[(∞,1)-category of (∞,1)-sheaves]] this is [[locally presentable (∞,1)-category|presented]] by the [[Bousfield localization of model categories|left Bousfield localization]] $Sh(TopBalls, sSet)_{inj,loc}$ of the injective [[model structure on simplicial sheaves]] on $TopBalls$ (as described at [[models for ∞-stack (∞,1)-toposes]]).

Notice that the injection $Top \hookrightarrow Sh(TopBalls)$ of topological spaces as [[concrete sheaves]] on the site of open balls preserves the pushout $X = U_1 \coprod_{U_1 \cap U_2} U_2$. (This is effectively the statement that $X$ as a [[representable functor|representable]] on [[Diff]] is a [[sheaf]].) Accordingly so does the further inclusion into $Sh(TopBall,sSet) \simeq Sh(TopBalls)^{\Delta^{op}}$ as simplicially constant simplicial sheaves.

Since cofibrations in that model structure are objectwise and degreewise injective maps, it follows that the ordinary [[pushout]] diagram

\begin{displaymath}
\itexarray{
    U_1 \cap U_2 &\to& U_2
    \\
    \downarrow && \downarrow
    \\
    U_1 &\to& X
  }
\end{displaymath}
in $Sh(TopBalls, sSet)_{inj,loc}$ has all objects cofibrant and is the pushout along a cofibration, hence is a [[homotopy pushout]] (as described there). By the general theorem at [[(∞,1)-colimit]] homotopy pushouts model $(\infty,1)$-pushouts, so that indeed $X$ is the $(\infty,1)$-pushout

\begin{displaymath}
X \simeq U_1 \coprod_{U_1 \cap U_2} U_2 \in \mathbf{H}
  \,.
\end{displaymath}
The proposition now follows with the above observation that $\Pi$ preserves all $(\infty,1)$-colimits and with the statement (from [[topological ∞-groupoid]]) that for a topological space (locally contractible or paracompact) we have $\Pi X \simeq Sing X$.

\end{proof}
\hypertarget{Paths}{}\subsubsection*{{Paths and geometric Postnikov towers}}\label{Paths}

The \hyperlink{Homotopy}{above} construction of the [[fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos|fundamental ∞-groupoid]] of objects in $\mathbf{H}$ as an object in [[∞Grpd]] may be reflected back into $\mathbf{H}$, where it gives a notion of homotopy [[path n-groupoid]]s and a geometric notion of [[Postnikov tower]]s of objects in $\mathbf{H}$.

\begin{defn}
\label{}\hypertarget{}{}
For $\mathbf{H}$ a [[locally ∞-connected (∞,1)-topos]] define the composite [[adjoint (∞,1)-functor]]s

\begin{displaymath}
(\mathbf{\Pi} \dashv \mathbf{\flat}) 
  :=
  (Disc \Pi \dashv Disc \Gamma)
  : 
  \mathbf{H}
   \to 
  \mathbf{H}
  \,.
\end{displaymath}
\end{defn}
We say

\begin{itemize}%
\item $\mathbf{\Pi}(X)$ is the \textbf{path $\infty$-groupoid} of $X$ -- the reflection of the [[fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos]] back into the cohesive context of $\mathbf{H}$;


\item $\mathbf{\flat} A$ (``flat $A$'') is the coefficient object for \textbf{\hyperlink{FlatDifferentialCohomology}{flat differential A-cohomology}} or for $A$-[[local system]]s



\end{itemize}
Write

\begin{displaymath}
(\tau_n \dashv i_n)
  :
  \mathbf{H}_{\leq n}
  \stackrel{\overset{\tau_{n}}{\leftarrow}}{\underset{i}{\hookrightarrow}}
  \mathbf{H}
\end{displaymath}
for the [[reflective sub-(∞,1)-category]] of [[truncated|n-truncated object]]s and

\begin{displaymath}
\mathbf{\tau}_n : 
    \mathbf{H} \stackrel{\tau_n}{\to} \mathbf{H}_{\leq n}
  \hookrightarrow
  \mathbf{H}
\end{displaymath}
for the truncation-[[localization of an (∞,1)-category|localization]] funtor.

We say

\begin{displaymath}
\mathbf{\Pi}_n : \mathbf{H} \stackrel{\mathbf{\Pi}_n}{\to}
   \mathbf{H} \stackrel{\mathbf{\tau}_n}{\to}
  \mathbf{H}
\end{displaymath}
is the \textbf{homotopy [[path n-groupoid]]} functor.

We say that the (truncated) components of the $(\Pi \dashv Disc)$-[[unit of an adjunction|unit]]

\begin{displaymath}
X \to \mathbf{\Pi}(X)
\end{displaymath}
are the \textbf{constant path inclusions}. Dually we have canonical morphism

\begin{displaymath}
\mathbf{\flat}A \to A
  \,.
\end{displaymath}
\begin{lemma}
\label{}\hypertarget{}{}
If $\mathbf{H}$ is cohesive, then $\mathbf{\flat}$ has a [[right adjoint]] $\mathbf{\Gamma}$

\begin{displaymath}
(\mathbf{\Pi} \dashv \mathbf{\flat} \dashv \mathbf{\Gamma}) 
  :=
  (Disc \Pi \dashv Disc \Gamma \dashv coDisc \Gamma)
  : 
  \mathbf{H}
     \stackrel{\overset{\mathbf{\Pi}}{\to}}{\stackrel{\overset{\mathbf{\flat}}{\leftarrow}}{\underset{\mathbf{\Gamma}}{\to}}}
  \mathbf{H}
  \,.
\end{displaymath}
and this makes $\mathbf{H}$ be $\infty$-connected and locally $\infty$-connected over itself.

\end{lemma}
\begin{defn}
\label{}\hypertarget{}{}
Let $\mathbf{H}$ be a [[locally ∞-connected (∞,1)-topos]]. If $X \in \mathbf{H}$ is [[small-projective]] then the [[over-(∞,1)-topos]] $\mathbf{H}/X$ is

\begin{enumerate}%
\item [[locally ∞-connected (∞,1)-topos|locally ∞-connected]];


\item [[local (∞,1)-topos|local]].



\end{enumerate}
\end{defn}
\begin{proof}
The first statement is proven at [[locally ∞-connected (∞,1)-topos]], the second at [[local (∞,1)-topos]].

\end{proof}
\begin{defn}
\label{}\hypertarget{}{}
In a cohesive $(\infty,1)$-topos $\mathbf{H}$, if $X$ is [[small-projective]] then so is its path ∞-groupoid $\mathbf{\Pi}(X)$.

\end{defn}
\begin{proof}
Because of the [[adjoint triple]] of [[adjoint (∞,1)-functor]]s $(\mathbf{\Pi} \dashv \mathbf{\flat} \dashv \mathbf{\Gamma})$ we have for [[diagram]] $A : I \to \mathbf{H}$ that

\begin{displaymath}
\begin{aligned}
     \mathbf{H}(\mathbf{\Pi}(X), {\lim_\to}_i A_i)
     & \simeq 
     \mathbf{H}(X, \mathbf{\flat}{\lim_\to}_i A_i)
    \\
     & \simeq 
     \mathbf{H}(X, {\lim_\to}_i \mathbf{\flat} A_i)
     \\
     & \simeq 
     {\lim_\to}_i \mathbf{H}(X,  \mathbf{\flat} A_i)
  \end{aligned}
  \,,
\end{displaymath}
where in the last step we used that $X$ is [[small-projective]] by assumption.

\end{proof}
\begin{defn}
\label{}\hypertarget{}{}
For $X \in \mathbf{H}$ we say that the \textbf{geometric Postnikov tower} of $X$ is the [[Postnikov tower in an (∞,1)-category]] of $\mathbf{\Pi}(X)$:

\begin{displaymath}
\mathbf{\Pi}(X) \to \cdots
   \to 
   \mathbf{\Pi}_2(X) \to \mathbf{\Pi}_1(X) \to \mathbf{\Pi}_0(X)
  \,.
\end{displaymath}
\end{defn}
\hypertarget{Coverings}{}\subsubsection*{{Universal coverings and geometric Whitehead towers}}\label{Coverings}

We discuss an intrinsic notion of [[Whitehead tower]]s in a [[locally ∞-connected (∞,1)-topos|locally ∞-connected]] [[∞-connected (∞,1)-topos]] $\mathbf{H}$.

\begin{defn}
\label{}\hypertarget{}{}
For $X \in \mathbf{H}$ a [[pointed object]], the \textbf{[[Whitehead tower in an (∞,1)-topos|geometric Whitehead tower]]} of $X$ is the sequence of objects

\begin{displaymath}
X^{\mathbf{(\infty)}} \to \cdots \to X^{\mathbf{(2)}} \to X^{\mathbf{(1)}} \to X^{\mathbf{(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} X$ to the \hyperlink{Paths}{path n+1-groupoid} of $X$.

We call $X^{\mathbf{(n+1)}}$ the $(n+1)$-fold \textbf{[[universal covering space]]} of $X$.

We write $X^{\mathbf{(\infty)}}$ for the homotopy fiber of the untruncated constant path inclusion.

\begin{displaymath}
X^{\mathbf{(\infty)}} \to X \to \mathbf{\Pi}(X)
  \,.
\end{displaymath}
Here the morphisms $X^{\mathbf{(n+1)}} \to X^{\mathbf{n}}$ are those induced from this 

\begin{displaymath}
\itexarray{
    X^{\mathbf{(n)}} &\to& *
    \\
    \downarrow && \downarrow
    \\
    X^{\mathbf{(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}
where the object $\mathbf{B}^n \mathbf{\pi}_n(X)$ is defined as the [[homotopy fiber]] of the bottom right morphism.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
Every object $X \in \mathbf{H}$ is covered by objects of the form $X^{\mathbf{(\infty)}}$ for different choices of base points in $X$, in the sense that every $X$ is the [[(∞,1)-colimit]] over a [[diagram]] whose vertices are of this form.

\end{prop}
\begin{proof}
Consider the diagram

\begin{displaymath}
\itexarray{
    {\lim_\to}_{s \in \Pi(X)} (i^* *)
      &\to& {\lim_\to}_{s \in \Pi(X)} *
    \\
    {}^{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{\simeq}}
    \\
    X &\stackrel{i}{\to}& \mathbf{\Pi}(X)
  }
  \,.
\end{displaymath}
The bottom morphism is the constant path inclusion, the $(\Pi \dashv Disc)$-[[unit of an adjunction|unit]]. The right morphism is the [[equivalence in an (∞,1)-category]] that is the image under $Disc$ of the decomposition ${\lim_\to}_S * \stackrel{\simeq}{\to} S$ of every [[∞-groupoid]] as the [[(∞,1)-colimit]] (see there) over itself of the [[(∞,1)-functor]] constant on the point.

The left morphism is the [[(∞,1)-pullback]] along $i$ of this equivalence, hence itself an equivalence. By [[universal colimits]] in the [[(∞,1)-topos]] $\mathbf{H}$ the top left object is the [[(∞,1)-colimit]] over the single [[homotopy fiber]]s $i^* *_s$ of the form $X^{\mathbf{(\infty)}}$ as indicated.

\end{proof}
\begin{prop}
\label{}\hypertarget{}{}
The inclusion $\Pi(i^* *) \to \Pi(X)$ of the [[fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos|fundamental ∞-groupoid]] $\Pi(i^* *)$ of each of these objects into $\Pi(X)$ is homotopic to the point.

\end{prop}
\begin{proof}
We apply $\Pi(-)$ to the above diagram over a single vertex $s$ and attach the $(\Pi \dashv Disc)$-[[unit of an adjunction|counit]] to get

\begin{displaymath}
\itexarray{
    \Pi(i^* *)
      &\to& 
      &\to&
      *
    \\
    \downarrow && && \downarrow 
    \\
    \Pi X &\stackrel{\Pi(i)}{\to}& \Pi Disc \Pi(X)
     &\to& \Pi(X)
  }
  \,.
\end{displaymath}
Then the bottom morphism is an equivalence by the $(\Pi \dashv Disc)$-[[zig-zag-identity]].

\end{proof}
\hypertarget{FlatDifferentialCohomology}{}\subsubsection*{{Flat $\infty$-connections and local systems}}\label{FlatDifferentialCohomology}

We describe for a [[locally ∞-connected (∞,1)-topos]] $\mathbf{H}$ a canonical intrinsic notion of \emph{[[flat ∞-connections]]}, \emph{flat} [[higher parallel transport]] and higher [[local systems]].

Write $(\mathbf{\Pi} \dashv\mathbf{\flat}) := (Disc \Pi \dashv Disc \Gamma) : \mathbf{H} \to \mathbf{H}$ for the adjunction given by the \hyperlink{Paths}{path ∞-groupoid}. Notice that this comes with the canonical $(\Pi \dashv Disc)$-[[unit of an adjunction|unit]] with components

\begin{displaymath}
X \to \mathbf{\Pi}(X)
\end{displaymath}
and the $(Disc \dashv \Gamma)$-counit with components

\begin{displaymath}
\mathbf{\flat} A \to A
  \,.
\end{displaymath}
\begin{defn}
\label{}\hypertarget{}{}
For $X, A \in \mathbf{H}$ we write

\begin{displaymath}
\mathbf{H}_{flat}(X,A) := \mathbf{H}(\mathbf{\Pi}X, A)
\end{displaymath}
and call $H_{flat}(X,A) := \pi_0 \mathbf{H}_{flat}(X,A)$ the \textbf{flat (nonabelian) differential cohomology} of $X$ with coefficients in $A$.

We say a morphism $\nabla : \mathbf{\Pi}(X) \to A$ is a \textbf{flat [[connection on an ∞-bundle|∞-connnection]]} on the [[principal ∞-bundle]] corresponding to $X \to \mathbf{\Pi}(X) \stackrel{\nabla}{\to} A$, or an \textbf{$A$-[[local system]]} on $X$.

The induced morphism

\begin{displaymath}
\mathbf{H}_{flat}(X,A) \to \mathbf{H}(X,A)
\end{displaymath}
we say is the [[forgetful functor]] that forgets flat connections.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
The object $\mathbf{\Pi}(X)$ has the interpretation of the \hyperlink{Paths}{path ∞-groupoid} of $X$: it is a cohesive $\infty$-groupoid whose [[k-morphism]]s may be thought of as generated from the $k$-morphisms in $X$ and $k$-dimensional cohesive paths in $X$.

Accordingly a morphism $\mathbf{\Pi}(X) \to A$ may be thought of as assigning

\begin{itemize}%
\item to each point $x \in X$ a fiber $P_x$ in $A$;


\item to each path $\gamma : x_1 \to x_2$ in $X$ an [[equivalence in an (infinity,1)-category|equivalence]] $\nabla(\gamma) : P_{x_1} \to P_{x_2}$ between these fibers (the [[parallel transport]] along $\gamma$);


\item to each disk $\Sigma$ in $X$ a [[2-morphism|2-equivalalence]] $\nabla(\Sigma)$ between these equivaleces associated to its boundary (the [[higher parallel transport]])


\item and so on.



\end{itemize}
\begin{displaymath}
\itexarray{
     &&
     && P_{x_2}
     \\
     A 
     &&
     & {}^{\mathllap{\nabla(\gamma_1)}}\nearrow  
     &
      \Downarrow^{\nabla(\Sigma)}
     & 
     \searrow^{\mathrlap{\nabla(\gamma_2)}}
     \\
     \uparrow^{\mathrlap{\nabla}} &&
     P_{x_1}
     &&\underset{\nabla(\gamma_3)}{\to}&&
     P_{x_3}
     \\
     &&
     && x_2
     \\
     \mathbf{\Pi}(X)
     &&
     & {}^{\mathllap{\gamma_1}}\nearrow &
       \Downarrow^{\Sigma}
     & \searrow^{\mathrlap{\gamma_2}}
     \\
     &&
     x_1
     &&\underset{\gamma_3}{\to}&&
     x_3
  }
\end{displaymath}
This we think of as encoding a flat [[higher parallel transport]] on $X$, coming from some flat $\infty$-connection and \emph{defining} this flat $\infty$-connection.

For a \emph{non-flat} $\infty$-connection the parallel transport $\nabla(\gamma_3^{-1}\circ \gamma_2\circ \gamma_1)$ around a contractible loop as above need not be equivalent to the identity. We will obtain a formal notion of non-flat parallel transport \hyperlink{ChernWeilTheory}{below}.

\end{remark}
\begin{lemma}
\label{}\hypertarget{}{}
By the $(\mathbf{\Pi} \dashv \mathbf{\flat})$-adjunction we have a [[natural transformation|natural]] equivalence

\begin{displaymath}
\mathbf{H}_{flat}(X,A) \simeq \mathbf{H}(X,\mathbf{\flat}A)
  \,.
\end{displaymath}
A [[cocycle]] $g : X \to A$ for a [[principal ∞-bundle]] on $X$ is in the image of

\begin{displaymath}
\mathbf{H}_{flat}(X,A) \to \mathbf{H}(X,A)
\end{displaymath}
precisely if there is a lift $\nabla$ in the [[diagram]]

\begin{displaymath}
\itexarray{
     && \mathbf{\flat}A 
     \\
     & {}^{\nabla}\nearrow& \downarrow
    \\
    X &\stackrel{g}{\to}& A
  }
  \,.
\end{displaymath}
\end{lemma}
We call $\mathbf{\flat}A$ the \textbf{coefficient object for flat $A$-connections}.

The following lists some basic properties of objects of the form $\mathbf{\flat}A$ and their interpretation in terms of flat $\infty$-connections.

\begin{prop}
\label{}\hypertarget{}{}
For $G := Disc G_0 \in \mathbf{H}$ a [[discrete ∞-groupoid|discrete ∞-group]] the canonical morphism $\mathbf{H}_{flat}(X,\mathbf{B}G) \to \mathbf{H}(X,\mathbf{B}G)$ is an [[equivalence in an (∞,1)-category|equivalence]].

\end{prop}
\begin{proof}
Since $Disc$ is a [[full and faithful (∞,1)-functor]] we have that the [[unit of an adjunction|unit]] $Id \to \Gamma Disc$ is a natural equivalence. It follows that on $Disc G_0$ also the counit $Disc \Gamma Disc G_0 \to Disc G_0$ is a weak equivalence (since by the [[triangle identity]] we have that $Disc G_0 \stackrel{\simeq}{\to} Disc \Gamma Disc G_0 \to Disc G_0$ is the identity).

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
This says that for discrete structure [[∞-group]]s $G$ there is an essentially unique flat $\infty$-connection on any $G$-[[principal ∞-bundle]]. Moreover, the further equivalence

\begin{displaymath}
\mathbf{H}(\mathbf{\Pi}(X), \mathbf{B}G)
  \simeq
  \mathbf{H}_{flat}(X, \mathbf{B}G)
  \simeq
  \mathbf{H}(X, \mathbf{B}G)
\end{displaymath}
may be read as saying that the $G$-principal $\infty$-bundle is entirely characterized by the flat [[higher parallel transport]] of this unique $\infty$-connection.

\end{remark}
\begin{remark}
\label{UnderlyingGroupoidOfFlat}\hypertarget{UnderlyingGroupoidOfFlat}{}
Since $(Disc \dashv \Gamma)$ is a [[reflective sub-(∞,1)-category|coreflection]], we have that for any cohesive $\infty$-groupoid $A$ the underlying [[discrete ∞-groupoid]] $\Gamma A$ coincides with the underlying $\infty$-groupoid $\Gamma \mathbf{\flat}A$ of $\mathbf{\flat}A$:

\begin{displaymath}
\Gamma \mathbf{\flat} A \stackrel{\simeq}{\to} \Gamma A  
  \,.
\end{displaymath}
To interpret this it is useful to think of $A$ as a [[moduli stack]] for principal $\infty$-bundles. This is most familiar in the case that $A$ is [[0-connected|connected]], in which case by \hyperlink{InfinGroups}{the above} we write it $A = \mathbf{B}G$ for some cohesive [[∞-group]] $G$.

In terms of this we may say that

\begin{enumerate}%
\item $\mathbf{B}G$ is the [[moduli stack|moduli ∞-stack]] of $G$-[[principal ∞-bundles]];


\item $\mathbf{\flat} \mathbf{B}G$ is the moduli $\infty$-stack of $G$-principal $\infty$-bundles equipped with a flat $\infty$-connection.



\end{enumerate}
Therefore

\begin{displaymath}
\Gamma \mathbf{B}G \simeq \mathbf{H}(*, \mathbf{B}G)
\end{displaymath}
is the [[∞-groupoid]] of $G$-principal $\infty$-bundles \emph{over the point} (the [[terminal object]] in $\mathbf{H}$). Similarly

\begin{displaymath}
\Gamma \mathbf{\flat}\mathbf{B}G \simeq \mathbf{H}(*, \mathbf{\flat}\mathbf{B}G)
\end{displaymath}
is the $\infty$-groupoid of \emph{flat} $G$-principal $\infty$-bundles over the point.

So the equivalence $\Gamma \mathbf{\flat}\mathbf{B}G \simeq \Gamma \mathbf{B}G$ says that over the point every $G$-principal $\infty$-bundle carries an essentially unique flat $\infty$-connection. This is certainly what one expects, and certainly the case for ordinary [[connection on a bundle|connections]] on ordinary [[principal bundle]]s.

Notice here that the axioms of cohesion imply in particular that the terminal object $* \in \mathbf{H}$ really behaves like a geometric point: it has underlying it a single point, $\Gamma * \simeq *$, and its \hyperlink{Homotopy}{geometric homotopy type} is that of the point, $\Pi(*) \simeq *$.

\end{remark}
\hypertarget{deRhamCohomology}{}\subsubsection*{{de Rham cohomology}}\label{deRhamCohomology}

In every [[locally ∞-connected (∞,1)-topos]] $\mathbf{H}$ there is an intrinsic notion of [[nonabelian cohomology|nonabelian]] [[de Rham cohomology]].

\begin{defn}
\label{drFlatAnddRShape}\hypertarget{drFlatAnddRShape}{}
For $X \in \mathbf{H}$ an object, write $\mathbf{\Pi}_{dR}X := * \coprod_X \mathbf{\Pi} X$ for the [[(∞,1)-colimit|(∞,1)-pushout]]

\begin{displaymath}
\itexarray{
    X &\to& *
    \\
    \downarrow && \downarrow
    \\
    \mathbf{\Pi}(X) &\to& \mathbf{\Pi}_{dR}X
  }
  \,.
\end{displaymath}
For $* \to A$ any [[pointed object]] in $\mathbf{H}$, write $\mathbf{\flat}_{dR} A := * \prod_A \mathbf{\flat}A$ for the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
    \mathbf{\flat}_{dR} A &\to& \mathbf{\flat} A 
    \\
    \downarrow && \downarrow
    \\
    * &\to& A
  }
  \,.
\end{displaymath}
\end{defn}
We also say $\flat_{dR}$ is the \emph{[[dR-flat modality]]} and $\Pi_{dR}$ is the \emph{[[dR-shape modality]]}.

\begin{prop}
\label{DeRhamAdjunction}\hypertarget{DeRhamAdjunction}{}
The construction in def. \ref{drFlatAnddRShape} yields a pair of [[adjoint (∞,1)-functors]]

\begin{displaymath}
(\mathbf{\Pi}_{dR} \dashv \mathbf{\flat}_{dR} )
  : 
  */\mathbf{H}
  \stackrel{
     \overset{\mathbf{\Pi}_{dR}}{\leftarrow}
   }{
     \underset{\mathbf{\flat}_{dR}}{\to}
   }
  \mathbf{H}
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
We check the defining natural hom-equivalence

\begin{displaymath}
{*}/\mathbf{H}(\mathbf{\Pi}_{dR}X,A)
  \simeq
  \mathbf{H}(X, \mathbf{\flat}_{dR}A)
  \,.
\end{displaymath}
The hom-space in the [[over-(∞,1)-category|under-(∞,1)-category]] $*/\mathbf{H}$ is (as discussed there), computed by the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
     */\mathbf{H}(\mathbf{\Pi}_{dR}X, A)
      &\to&
     \mathbf{H}(\mathbf{\Pi}_{dR}X, A)
     \\
     \downarrow && \downarrow
     \\
     * &\stackrel{pt_A}{\to}& \mathbf{H}(*,A)
  }
  \,.
\end{displaymath}
By the fact that the [[hom-functor]] $\mathbf{H}(-,-) : \mathbf{H}^{op} \times \mathbf{H} \to \infty Grpd$ preserves limits in both arguments we have a natural equivalence

\begin{displaymath}
\begin{aligned}
     \mathbf{H}(\mathbf{\Pi}_{dR} X, A)
     & :=
     \mathbf{H}( *\coprod_{X} \mathbf{\Pi}(X), A  )     
     \\
     & \simeq 
     \mathbf{H}(*,A) \prod_{\mathbf{H}(X,A)} 
      \mathbf{H}(\mathbf{\Pi}(X),A)
  \end{aligned}
  \,.
\end{displaymath}
We paste this pullback to the above pullback diagram to obtain

\begin{displaymath}
\itexarray{
     */\mathbf{H}(\mathbf{\Pi}_{dR}X, A)
      &\to&
     \mathbf{H}(\mathbf{\Pi}_{dR}X, A) &\to&
      \mathbf{H}(\mathbf{\Pi}(X),A)
     \\
     \downarrow && \downarrow  && \downarrow
     \\
     * &\stackrel{pt_A}{\to}& \mathbf{H}(*,A)
     &\to& 
      \mathbf{H}(X,A)
  }
  \,.
\end{displaymath}
By the pasting law for [[(∞,1)-pullback]]s the outer diagram is still a pullback. We may evidently rewrite the bottom composite as in

\begin{displaymath}
\itexarray{
     */\mathbf{H}(\mathbf{\Pi}_{dR}X, A)
      &\to&
      &\to&
      \mathbf{H}(\mathbf{\Pi}(X),A)
     \\
     \downarrow && && \downarrow
     \\
     * &\stackrel{\simeq}{\to}& \mathbf{H}(X,*)
     &\stackrel{(pt_A)_*}{\to}& 
      \mathbf{H}(X,A)
  }
  \,.
\end{displaymath}
This exhibits the hom-space as the pullback

\begin{displaymath}
\begin{aligned}
    */\mathbf{H}(\mathbf{\Pi}_{dR}(X),A)
    \simeq
     \mathbf{H}(X,*) \prod_{\mathbf{H}(X,A)} \mathbf{H}(X,\mathbf{\flat} A)
   \end{aligned}
  \,,
\end{displaymath}
where we used the $(\mathbf{\Pi} \dashv \mathbf{\flat})$-adjunction. Now using again that $\mathbf{H}(X,-)$ preserves pullbacks, this is

\begin{displaymath}
\cdots \simeq \mathbf{H}(X, * \prod_A \mathbf{\flat}A )
  \simeq \mathbf{H}(X , \mathbf{\flat}_{dR}A)
  \,.
\end{displaymath}
\end{proof}
\begin{prop}
\label{TripleOfDeRhamAdjunctions}\hypertarget{TripleOfDeRhamAdjunctions}{}
If $\mathbf{H}$ is also [[local (∞,1)-topos|local]], then there is a further [[right adjoint]] $\mathbf{\Gamma}_{dR}$

\begin{displaymath}
(\mathbf{\Pi}_{dR} \dashv \mathbf{\flat}_{dR} \dashv \mathbf{\Gamma}_{dR})
  :
  \mathbf{H}
    \stackrel{\overset{\mathbf{\Pi}_{dR}}{\to}}{\stackrel{\stackrel{\mathbf{\flat}_{dR}}{\leftarrow}}{\underset{\mathbf{\Gamma}_{dR}}{\to}}}
  */\mathbf{H}
\end{displaymath}
given by

\begin{displaymath}
\mathbf{\Gamma}_{dR} X {:=}
    * \coprod_{X} \mathbf{\Gamma}(X)
  \,,
\end{displaymath}
where $(\mathbf{\Pi} \dashv \mathbf{\flat} \dashv \mathbf{\Gamma}) : \mathbf{H} \to \mathbf{H}$ is the triple of adjunctions discussed at \hyperlink{Paths}{Paths}.

\end{prop}
\begin{proof}
This follows by the same kind of argument as above.

\end{proof}
\begin{defn}
\label{}\hypertarget{}{}
For $X, A \in \mathbf{H}$ we write

\begin{displaymath}
\mathbf{H}_{dR}(X,A)
  :=
  \mathbf{H}(\mathbf{\Pi}_{dR}X, A)
  \simeq
  \mathbf{H}(X, \mathbf{\flat}_{dR} A)
  \,.
\end{displaymath}
A [[cocycle]] $\omega : X \to \mathbf{\flat}_{dR}A$ we call a \textbf{flat $A$-valued differential form} on $X$.

We say that $H_{dR}(X,A) {:=} \pi_0 \mathbf{H}_{dR}(X,A)$ is the \textbf{de Rham cohomology} of $X$ with coefficients in $A$.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
A [[cocycle]] in de Rham cohomology

\begin{displaymath}
\omega : \mathbf{\Pi}_{dR}X \to A
\end{displaymath}
is precisely a \hyperlink{FlatDifferentialCohomology}{flat ∞-connection} on a \emph{trivializable} $A$-principal $\infty$-bundle. More precisely, $\mathbf{H}_{dR}(X,A)$ is the [[homotopy fiber]] of the [[forgetful functor]] from $\infty$-bundles with flat $\infty$-connection to $\infty$-bundles: we have an [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
    \mathbf{H}_{dR}(X,A) &\to& *
    \\
    \downarrow && \downarrow
    \\
    \mathbf{H}_{flat}(X,A) &\to& \mathbf{H}(X,A)
  }  
  \,.
\end{displaymath}
\end{remark}
\begin{proof}
This follows by the fact that the [[hom-functor]] $\mathbf{H}(X,-)$ preserves the defining [[(∞,1)-pullback]] for $\mathbf{\flat}_{dR} A$.

\end{proof}
Just for emphasis, notice the dual description of this situation: by the [[universal property]] of the [[(∞,1)-colimit]] that defines $\mathbf{\Pi}_{dR} X$ we have that $\omega$ corresponds to a diagram

\begin{displaymath}
\itexarray{
    X &\to& *
    \\
    \downarrow &\swArrow_{\simeq}& \downarrow
    \\
    \mathbf{\Pi}(X) &\stackrel{\omega}{\to}& A
  }
  \,.
\end{displaymath}
The bottom horizontal morphism is a flat connection on the $\infty$-bundle given by the cocycle $X \to \mathbf{\Pi}(X) \stackrel{\omega}{\to} A$. The diagram says that this is equivalent to the trivial bundle given by the trivial cocycle $X \to * \to A$.

\begin{prop}
\label{deRhamWithDiscCoeffsIsTrivial}\hypertarget{deRhamWithDiscCoeffsIsTrivial}{}
The de Rham cohomology with coefficients in discrete objects is trivial: for all $S \in \infty Grpd$ we have

\begin{displaymath}
\mathbf{\flat}_{dR} Disc S \simeq *
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Using that in a [[∞-connected (∞,1)-topos]] the functor $Disc$ is a [[full and faithful (∞,1)-functor]] so that the [[unit of an adjunction|unit]] $Id \to \Gamma Disc$ is an [[equivalence in an (∞,1)-category|equivalence]] and using that by the [[zig-zag identity]] we have then that the [[unit of an adjunction|counit]] component $\mathbf{\flat} Disc S := Disc \Gamma Disc S \to Disc S$ is also an equivalence, we have

\begin{displaymath}
\begin{aligned}
     \mathbf{\flat}_{dR} Disc S 
     & {:=}
     * \prod_{Disc S} \mathbf{\flat} Disc S
     \\
     & \simeq * \prod_{Disc S} Disc S
     \\
     & \simeq *
  \end{aligned}
  \,,
\end{displaymath}
since the pullback of an equivalence is an equivalence.

\end{proof}
\begin{prop}
\label{}\hypertarget{}{}
In a cohesive $\mathbf{H}$ \emph{\hyperlink{PiecesHavePoints}{pieces have points}} precisely if for all $X \in \mathbf{H}$, the de Rham coefficient object $\mathbf{\Pi}_{dR} X$ is \emph{globally [[connected]]} in that $\pi_0 \mathbf{H}(*, \mathbf{\Pi}_{dR}X) = *$.

If $X$ has at least one point ($\pi_0(\Gamma X) \neq \emptyset$) and is geometrically connected ($\pi_0 (\Pi X) = {*}$) then $\mathbf{\Pi}_{\mathrm{dR}}(X)$ is also locally connected: $\tau_0 \mathbf{\Pi}_{\mathrm{dR}}X \simeq {*} \in \mathbf{H}$.

\end{prop}
\begin{proof}
Since $\Gamma$ preserves [[(∞,1)-colimit]]s in a cohesive $(\infty,1)$-topos we have

\begin{displaymath}
\begin{aligned}
    \mathbf{H}(*, \mathbf{\Pi}_{dR}X)
    & \simeq
    \Gamma \mathbf{\Pi}_{dR} X
    \\  
    & \simeq
    * \coprod_{\Gamma X} \Gamma \mathbf{\Pi}X  
    \\
    & \simeq
    * \coprod_{\Gamma X} \Pi X  
  \end{aligned}
  \,,
\end{displaymath}
where in the last step we used that $Disc$ is a [[full and faithful (∞,1)-functor|full and faithful]], so that there is an equivalence $\Gamma \mathbf{\Pi}X := \Gamma Disc \Pi X \simeq \Pi X$.

To analyse this [[(∞,1)-colimit|(∞,1)pushout]] we present it by a [[homotopy pushout]] in the standard [[model structure on simplicial sets]] $\mathrm{sSet}_{\mathrm{Quillen}}$. Denoting by $\Gamma X$ and $\Pi X$ any representatives in $\mathrm{sSet}_{\mathrm{Quillen}}$ of the objects of the same name in $\infty \mathrm{Grpd}$, this may be computed by the ordinary [[pushout]] in [[sSet]]

\begin{displaymath}
\itexarray{
    \Gamma X  &\to& (\Gamma X) \times \Delta[1] \coprod_{\Gamma X} {*}
    \\
    \downarrow && \downarrow
    \\
    \Pi X &\to & Q
  }
  \,,
\end{displaymath}
where on the right we have inserted the [[cone]] on $\Gamma X$ in order to turn the top morphism into a cofibration. From this ordinary pushout it is clear that the connected components of $Q$ are obtained from those of $\Pi X$ by identifying all those in the image of a connected component of $\Gamma X$. So if the left morphism is surjective on $\pi_0$ then $\pi_0(Q) = *$. This is precisely the condition that \hyperlink{PiecesHavePoints}{pieces have points} in $\mathbf{H}$.

For the local analysis we consider the same setup objectwise in the injective [[model structure on simplicial presheaves]] $[C^{\mathrm{op}}, \mathrm{sSet}]_{\mathrm{inj},\mathrm{loc}}$. For any $U \in C$ we then have the pushout $Q_U$ in

\begin{displaymath}
\itexarray{
    X(U) &\to & (X(U)) \times \Delta[1] \coprod_{X(U)} {*}
    \\
    \downarrow && \downarrow
    \\
    \mathrm{sSet}(\Gamma(U), \Pi X) & \to & Q_U
  }
  \,,
\end{displaymath}
as a model for the value of the simplicial presheaf presenting $\mathbf{\Pi}_{\mathrm{dR}}(X)$. If $X$ is geometrically connected then $\pi_0 \mathrm{sSet}(\Gamma(U), \Pi(X)) = *$ and hence for the left morphism to be surjective on $\pi_0$ it suffices that the top left object is not empty. Since the simplicial set $X(U)$ contains at least the vertices $U \to * \to X$ of which there is by assumption at least one, this is the case.

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
In summary this means that in a cohesive $(\infty,1)$-topos the objects $\mathbf{\Pi}_{dR} X$ have the abstract properties of [[de Rham schematic homotopy type|pointed geometric de Rham homotopy types]].

In the \hyperlink{Examples}{Examples} we will see that, indeed, the intrinsic de Rham cohomology $H_{dR}(X, A) {:=} \pi_0 \mathbf{H}(\mathbf{\Pi}_{dR} X, A)$ reproduces ordinary de Rham cohomology in degree $d\gt 1$.

In degree 0 the intrinsic de Rham cohomology is necessarily trivial, while in degree 1 we find that it reproduces closed 1-forms, not divided out by exact forms. This difference to ordinary de Rham cohomology in the lowest two degrees may be interpreted in terms of the obstruction-theoretic meaning of de Rham cohomology by which we essentially characterized it above: we have that the intrinsic $H_{dR}^n(X,K)$ is the home for the obstructions to flatness of $\mathbf{B}^{n-2}K$-[[principal ∞-bundle]]s. For $n = 1$ this are groupoid-principal bundles over the \emph{groupoid} with $K$ as its space of objects. But the 1-form curvatures of groupoid bundles are not to be regarded modulo exact forms. More details on this are at [[circle n-bundle with connection]].

\end{remark}
\hypertarget{IntegrationOfDifferentialForms}{}\subsubsection*{{Integration of differential forms and Stokes lemma}}\label{IntegrationOfDifferentialForms}

See at \emph{\href{integration%20of%20differential%20forms#InCohesiveHomotopyTypeTheory}{integration of differential forms -- In cohesive homotopy-type theory}}

\hypertarget{LieAlgebras}{}\subsubsection*{{Exponentiated $\infty$-Lie algebras}}\label{LieAlgebras}

We now use the intrinsic non-abelian de Rham cohomology in the cohesive $(\infty,1)$-topos $\mathbf{H}$ discussed \hyperlink{deRhamCohomology}{above} to see that there is also an intrinsic notion of \emph{exponentiated higher [[Lie algebra]] objects} in $\mathbf{H}$. (The fact that for $\mathbf{H} =$ [[Smooth∞Grpd]] these abstractly defined objects are indeed presented by [[L-∞ algebras]] is discussed at \emph{[[smooth ∞-groupoid -- structures]]}.)

The idea is that for $G \in Grp(\mathbf{H})$ an [[∞-group]], a $G$-valued differential form on some $X \in \mathbf{H}$, which by the above is given by a morphism

\begin{displaymath}
A : \mathbf{\Pi}_{dR}(X) \to \mathbf{B}G
\end{displaymath}
maps ``infinitesimal paths'' to elements of $G$, and hence only hits ``infinitesimal elements'' in $G$. Therefore the object that such forms universally factor through we write $\mathbf{B} \exp(\mathfrak{g})$ and think of as the formal [[Lie integration]] of the $\infty$-Lie algebra of $G$.

The reader should note here that all this is formulated without an explicit (``synthetic'') notion of infinitesimals. Instead, it is infinitesimal in the same sense that $\mathbf{\Pi}_{dR}(X)$ is the \emph{[[schematic homotopy type|schematic de Rham homotopy type]]} of $X$, as discussed above. But if we add a bit more structure to the cohesive $(\infty,1)$-topos $\mathbf{H}$, then these infinitesimals can be realized also synthetically. That extra structure is that of \emph{[[cohesive (infinity,1)-topos -- infinitesimal cohesion|infinitesimal cohesion]]}. See there for more details.

\begin{def}
\label{ExponentiatedLieAsGeometricallyContractible}\hypertarget{ExponentiatedLieAsGeometricallyContractible}{}
For a [[connected]] object $\mathbf{B}\exp(\mathfrak{g})$ in $\mathbf{H}$ that is \emph{geometrically contractible}

\begin{displaymath}
\Pi (\mathbf{B}\exp(\mathfrak{g})) \simeq *
\end{displaymath}
we call its [[loop space object]] $\exp(\mathfrak{g}) := \Omega_* \mathbf{B}\exp(\mathfrak{g})$ the \textbf{[[Lie integration]] of an [[∞-Lie algebra]]} in $\mathbf{H}$.

\end{def}
\begin{defn}
\label{}\hypertarget{}{}
Set

\begin{displaymath}
\exp Lie
  := 
  \mathbf{\Pi}_{dR} \circ \mathbf{\flat}_{dR} 
  : */\mathbf{H} \to */\mathbf{H}
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{LieAsALeftAdjoint}\hypertarget{LieAsALeftAdjoint}{}
If $\mathbf{H}$ is cohesive, then $\exp Lie$ is a [[left adjoint]].

\end{prop}
\begin{proof}
When $\mathbf{H}$ is cohesive we have the \hyperlink{TripleOfDeRhamAdjunctions}{de Rham triple of adjunction} $(\mathbf{\Pi}_{dR} \dashv \mathbf{\flat}_{dR} \dashv \mathbf{\Gamma}_{dR})$. Accordingly then $Lie$ is part of an [[adjunction]]

\begin{displaymath}
(\exp Lie \dashv \mathbf{\Gamma}_{dR}\mathbf{\flat}_{dR})
  \,.
\end{displaymath}
\end{proof}
\begin{example}
\label{}\hypertarget{}{}
For all $X$ the object $\mathbf{\Pi}_{dR}(X)$ is geometrically contractible.

\end{example}
\begin{proof}
Since on the [[locally ∞-connected (∞,1)-topos]] and [[∞-connected (∞,1)-topos|∞-connected]] $\mathbf{H}$ the functor $\Pi$ preserves [[(∞,1)-colimit]]s and the [[terminal object in an (∞,1)-category|terminal object]], we have

\begin{displaymath}
\begin{aligned}
    \Pi \mathbf{\Pi}_{dR} X
    & {:=}
     \Pi (*) \coprod_{\Pi X} \Pi \mathbf{\Pi} X
    \\
    & \simeq
      * \coprod_{\Pi X} \Pi Disc \Pi X   
    \\
    & \simeq 
      * \coprod_{\Pi X} \Pi X
    & \simeq
      *
  \end{aligned}
  \,,
\end{displaymath}
where we used that in the [[∞-connected (∞,1)-topos|∞-connected]] $\mathbf{H}$ the functor $Disc$ is [[full and faithful (∞,1)-functor|full and faithful]].

\end{proof}
\begin{corollary}
\label{}\hypertarget{}{}
We have for every $\mathbf{B}G$ that $\exp Lie \mathbf{B}G$ is geometrically contractible.

\end{corollary}
We shall write $\mathbf{B}\exp(\mathfrak{g})$ for $\exp Lie \mathbf{B}G$, when the context is clear.

\begin{prop}
\label{LieValuesofDeRham}\hypertarget{LieValuesofDeRham}{}
Every \hyperlink{deRhamCohomology}{de Rham cocycle} $\omega : \mathbf{\Pi}_{dR} X \to \mathbf{B}G$ factors through the ∞-Lie algebra of $G$

\begin{displaymath}
\itexarray{
     && \mathbf{B}\exp(\mathfrak{g})
     \\
     & \nearrow & \downarrow
     \\
     \mathbf{\Pi}_{dR}X 
     &\stackrel{\omega}{\to}&
     \mathbf{B}G
  }
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By the  of $(\mathbf{\Pi}_{dR} \dashv \mathbf{\flat}_{dR})$ we have that $\omega$ factors through the [[unit of an adjunction|counit]] $\exp Lie \mathbf{B}G \to \mathbf{B}G$.

\end{proof}
Therefore instead of speaking of a $G$-valued de Rham cocycle, it is less redundant to speak of an $\exp(\mathfrak{g})$-valued de Rham cocycle. In particular we have the following.

\begin{prop}
\label{}\hypertarget{}{}
Every morphism $\exp Lie \mathbf{B}H \to \mathbf{B}G$ from an exponentiated $\infty$-Lie algebra to an $\infty$-group factors through the exponentiated $\infty$-Lie algebra of that $\infty$-group

\begin{displaymath}
\itexarray{
    \mathbf{B}\exp(\mathfrak{h}) &\to& \mathbf{B}\exp(\mathfrak{g})
    \\
    & \searrow& \downarrow
    \\
    && \mathbf{B}G
  }
  \,.
\end{displaymath}
\end{prop}
\begin{prop}
\label{}\hypertarget{}{}
If $\mathbf{H}$ is cohesive then we have

\begin{displaymath}
\exp Lie \circ \exp Lie \simeq \exp Lie \circ \Sigma \circ \Omega
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
First observe that for all $A \in */\mathbf{H}$ we have

\begin{displaymath}
\mathbf{\flat} \mathbf{\flat}_{dR} A \simeq *
\end{displaymath}
This follows using

\begin{itemize}%
\item $\mathbf{\flat}$ is a [[right adjoint]] and hence preserves [[(∞,1)-pullback]]s;


\item $\mathbf{\flat} \mathbf{\flat} := Disc \Gamma Disc \Gamma \simeq Disc \Gamma =: \mathbf{\flat}$ by the fact that $Disc$ is a [[full and faithful (∞,1)-functor]];


\item the counit $\mathbf{\flat} \mathbf{\flat} A \to \mathbf{\flat} A$ is equivalent to the identity, by the [[zig-zag-identity]] of the [[adjunction]] and using that equivalences satisfy [[category with weak equivalences|2-out-of-3]].



\end{itemize}
by computing

\begin{displaymath}
\begin{aligned}
    \mathbf{\flat} \mathbf{\flat}_{dR} A
    & 
    * \times_{\mathbf{\flat}A} \mathbf{\flat}\mathbf{\flat}A
    \\
    & \simeq 
    * \times_{\mathbf{\flat}A} \mathbf{\flat}A
    \\
    & \simeq *
 \end{aligned} 
 \,,
\end{displaymath}
using that the [[(∞,1)-pullback]] of an [[equivalence in an (∞,1)-category|equivalence]] is an equivalence.

From this we deduce that

\begin{displaymath}
\mathbf{\flat}_{dR} \circ \mathbf{\flat}_{dR} 
  \simeq \mathbf{\flat}_{dR} \circ \Omega
  \,.
\end{displaymath}
by computing for all $A \in \mathbf{H}$

\begin{displaymath}
\begin{aligned}
    \mathbf{\flat}_{dR} \circ \mathbf{\flat}_{dR} A
    & \simeq 
    * \times_{\mathbf{\flat}_{dR} A} \mathbf{\flat}\mathbf{\flat}_{dR} A
    \\
    & \simeq
    * \times_{\mathbf{\flat}_{dR} A} *
    \\
    & \simeq
    \mathbf{\flat}_{dR}( * \times_A * )
    \\
    & \simeq \mathbf{\flat}_{dR} \Omega A
  \end{aligned}
  \,.
\end{displaymath}
Also observe that by a \hyperlink{deRhamWithDiscCoeffsIsTrivial}{proposition above} we have

\begin{displaymath}
\mathbf{\flat}_{dR} \mathbf{\Pi} X \simeq *
\end{displaymath}
for all $X \in \mathbf{H}$.

Finally to obtain $\exp Lie \circ \exp Lie$ we do one more computation of this sort, using that

\begin{itemize}%
\item $\exp Lie := \mathbf{\Pi}_{dR} \mathbf{\flat}_{dR}$ preserves the terminal object (since $\mathbf{H}$ is [[locally ∞-connected (∞,1)-topos|locally ∞-connected]] and [[∞-connected (∞,1)-topos|∞-connected]])


\item and that it is a [[left adjoint]] by \hyperlink{LieAsALeftAdjoint}{the above}, since $\mathbf{H}$ is assumed to be cohesive.



\end{itemize}
We compute:

\begin{displaymath}
\begin{aligned}
    \exp Lie \exp Lie A 
    & \simeq 
    \exp Lie \mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} A
    \\
    & \simeq
      * 
        \coprod_{\exp Lie \mathbf{\flat}_{dR} A} 
      \exp Lie \mathbf{\Pi} \mathbf{\flat}_{dR} A
    \\
    & \simeq
      * 
        \coprod_{\exp Lie \mathbf{\flat}_{dR} A} 
      \mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} \mathbf{\Pi} \mathbf{\flat}_{dR} A
    \\
    & \simeq 
    * \coprod_{\exp Lie \mathbf{\flat}_{dR} A} *    
    \\
    & \simeq 
    * \coprod_{\mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} \mathbf{\flat}_{dR} A} *
    \\
    & \simeq 
    * \coprod_{\mathbf{\Pi}_{dR} \mathbf{\flat}_{dR} \Omega A} *   
    \\
    & \simeq
    * \coprod_{\exp Lie \Omega A} *   
    \\
    & \simeq
    \exp Lie ( * \coprod_{\Omega A} * )
    \\
    & \simeq
    \exp Lie \Sigma \Omega A  
  \end{aligned} 
  \,.
\end{displaymath}
\end{proof}
\hypertarget{CurvatureCharacteristics}{}\subsubsection*{{Maurer-Cartan forms and curvature characteristic forms}}\label{CurvatureCharacteristics}

In the \hyperlink{deRhamCohomology}{intrinsic de Rham cohomology} of a [[locally ∞-connected (∞,1)-topos|locally ∞-connected]] [[∞-connected (∞,1)-topos|∞-connected]] there exist canonical cocycles that we may identify with [[Maurer-Cartan form]]s and with universal [[curvature characteristic form]]s.

\begin{defn}
\label{MaurerCartanForm}\hypertarget{MaurerCartanForm}{}
For $G \in \mathbf{H}$ an [[∞-group]], write

\begin{displaymath}
\theta : G \to \mathbf{\flat}_{dR} \mathbf{B}G
\end{displaymath}
for the $\mathfrak{g}$-\hyperlink{LieAlgebras}{valued} de Rham cocycle on $G$ which is induced by the 

\begin{displaymath}
\itexarray{
     G &\to& *
     \\
     {}^{\mathllap{\theta}}\downarrow && \downarrow
     \\
     \mathbf{\flat}_{dR} \mathbf{B}G &\to& \mathbf{\flat}\mathbf{B}G
     \\
     \downarrow && \downarrow
     \\
     * &\to& \mathbf{B}G 
  }
\end{displaymath}
and the \hyperlink{LieValuesofDeRham}{above proposition}.

We call $\theta$ the \textbf{[[Maurer-Cartan form]]} on $G$.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
By postcomposition the Maurer-Cartan form sends $G$-valued functions on $X$ to $\mathfrak{g}$-valued forms on $X$

\begin{displaymath}
\theta_* : \mathbf{H}(X,G) \to 
    \mathbf{H}^1_{dR}(X,G)
  \,.
\end{displaymath}
\end{remark}
\begin{remark}
\label{GActionOnGAndOndRFlatOfG}\hypertarget{GActionOnGAndOndRFlatOfG}{}
For $G$ an [[∞-group]], there are canonical $G$-[[∞-actions]] on $G$ and on $\flat_{dR} \mathbf{B}G$. By the discussion at [[∞-action]] these are exhibited by the defining [[homotopy fiber sequences]]

\begin{displaymath}
\itexarray{
     G &\longrightarrow& \ast
     \\
     && \downarrow
     \\
     && \mathbf{B}G
  }
\end{displaymath}
and

\begin{displaymath}
\itexarray{
     \flat_{dR}\mathbf{B}G &\longrightarrow& \flat \mathbf{B}G
     \\
     && \downarrow
     \\
     && \mathbf{B}G
  }
  \,,
\end{displaymath}
respectively, and they identify the [[homotopy quotients]] of the action as

\begin{displaymath}
\ast \simeq G/G
\end{displaymath}
and

\begin{displaymath}
\flat \mathbf{B}G \simeq (\flat_{dR}\mathbf{B}G)/G
  \,,
\end{displaymath}
respectively.

\end{remark}
\begin{remark}
\label{MaurerCartanFormIsGEquivariant}\hypertarget{MaurerCartanFormIsGEquivariant}{}
For $G$ an [[∞-group]], then the [[Maurer-Cartan form]] $\theta_G \colon G \to \flat_{dR}\mathbf{BG}$ of def. \ref{MaurerCartanForm} naturally carries [[equivariance]] structure with respect to the $G$-[[∞-actions]] of remark \ref{GActionOnGAndOndRFlatOfG}, hence the structure of a [[homomorphism]]/[[intertwiner]] of these [[∞-actions]].

\end{remark}
\begin{proof}
By the discussion at \emph{[[∞-action]]} the equivariant structure in question is a morphism of the form

\begin{displaymath}
\itexarray{
    G/G &&\stackrel{\theta/G}{\longrightarrow}&& (\flat_{dR}\mathbf{B}G)/G
    \\
    & \searrow && \swarrow
    \\
    && \mathbf{B}G
  }
\end{displaymath}
such that it induces $\theta \colon G \to \flat_{dR}\mathbf{B}G$ on [[homotopy fibers]].

By remark \ref{GActionOnGAndOndRFlatOfG} the above diagram is equivalently

\begin{displaymath}
\itexarray{
    \ast &&\stackrel{\theta/G}{\longrightarrow}&& \flat\mathbf{B}G
    \\
    & \searrow && \swarrow
    \\
    && \mathbf{B}G
  }
  \,.
\end{displaymath}
There is an essentially unique horizontal morphism $\theta/G$ making this commute (up to homotopy). To see that this does induce the Maurer-Cartan form $\theta$ on homotopy fibers, notice that the morphism on homotopy fibers is the universal one from the total homotopy pullback diagram to the bottom homotopy pullback diagram labeled $\theta$ in

\begin{displaymath}
\itexarray{
    G && \longrightarrow && \ast
    \\
    & \searrow^{\mathrlap{\theta}} && && \searrow^{\mathrlap{\theta/G}}
    \\
    \downarrow && \flat_{dR}\mathbf{B}G && \longrightarrow && \flat \mathbf{B}G
    \\
    & \swarrow && && \swarrow   
    \\
    \ast && \longrightarrow && \mathbf{B}G
  }
\end{displaymath}
The [[pasting law]] implies that also the top rectangle here, is a homotopy pullback, hence this identifies $\theta$ in this diagram indeed as the MC form.

\end{proof}
\begin{defn}
\label{UniversalCurvatureForms}\hypertarget{UniversalCurvatureForms}{}
For $G = \mathbf{B}^n A$ an [[Eilenberg-MacLane object]], we also write

\begin{displaymath}
curv : \mathbf{B}^n A \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} A
\end{displaymath}
for the intrinsic Maurer-Cartan form and call this the intrinsic \textbf{universal [[curvature characteristic form]]} on $\mathbf{B}^n A$.

\end{defn}
\hypertarget{FlatEhresmannConnections}{}\subsubsection*{{Flat Ehresmann connections}}\label{FlatEhresmannConnections}

We discuss now a general abstract notion of flat [[Ehresmann connections]] in a cohesive $(\infty,1)$-topos $\mathbf{H}$.

Let $G \in Grp(\mathbf{H})$ be an [[∞-group]]. For $g : X \to \mathbf{B}G$ a [[cocycle]] that modulates a $G$-[[principal ∞-bundle]] $P \to X$, we saw \hyperlink{FlatDifferentialCohomology}{above} that lifts

\begin{displaymath}
\itexarray{
    && \flat \mathbf{B}G
    \\
    & {}^{\mathllap{\nabla}}\nearrow & \downarrow
    \\
    X &\stackrel{g}{\to}& \mathbf{B}G
  }
\end{displaymath}
modulate flat $\infty$-connections $\nabla$ in $P \to X$.

We can think of $\nabla : X \to \flat \mathbf{B}G$ as the cocycle datum for the connection on base space, in generalization of the discussion at \emph{[[connection on a bundle]]}. On the other hand, there is the classical notion of an [[Ehresmann connection]], which instead encodes such connection data in terms of differential form data on the total space $P$.

We may now observe that such differential form data on $P$ is identified with the [[twisted ∞-bundle]] induced by the lift, with respect to the [[local coefficient ∞-bundle]] given by the [[fiber sequence]]

\begin{displaymath}
\itexarray{
     \flat_{dR} \mathbf{B}G &\to& \flat \mathbf{B}G
     \\
     && \downarrow
     \\
     && \mathbf{B}G
  }
\end{displaymath}
that defines the de Rham coefficient object, discussed \hyperlink{deRhamCohomology}{above}.

Notice also that the $\flat_{dR}\mathbf{B}G$-[[twisted cohomology]] defined by this local coefficient bundle says that: \emph{flat $\infty$-connections are locally flat $Lie(G)$-valued forms that are globally twisted by by a $G$-principal $\infty$-bundle.}

By the general discussion at [[twisted ∞-bundle]] we find that the flat connection $\nabla$ induces on $P$ the structure

\begin{displaymath}
\itexarray{
    G &\to& P &\stackrel{A}{\to}& \flat_{dR} \mathbf{B}G
    \\
    \downarrow && \downarrow && \downarrow 
    \\
    * &\stackrel{x}{\to}& X &\stackrel{\nabla}{\to}& \flat \mathbf{B}G &\stackrel{}{\to}& \mathbf{B}G
  }
\end{displaymath}
consisting of

\begin{itemize}%
\item a (flat) $Lie(G)$-valued form datum $A : P \to \flat_{dR}\mathbf{B}G$ on the total space $P$


\item such that this intertwines the $G$-actions on $P$ and on $\flat_{dR}\mathbf{B}G$.



\end{itemize}
In the model $\mathbf{H}$ = [[Smooth∞Grpd]] one finds that the last condition reduces indeed to that of an [[Ehresmann connection]] for $A$ on $P$ (this is discussed \href{smooth+infinity-groupoid+--+structures#FlatEhresmannConnections}{here}). One of the two Ehresmann conditions is manifest already abstractly: for every point $x : * \to X$ of base space, the restriction of $A$ to the fiber of $P$ over $X$ is the Maurer-Cartan form

\begin{displaymath}
\theta : G \to P \stackrel{A}{\to} \flat_{dR} \mathbf{B}G
\end{displaymath}
on the $\infty$-group $G$, discussed \hyperlink{CurvatureCharacteristics}{above}.

\hypertarget{DifferentialCohomology}{}\subsubsection*{{Differential cohomology}}\label{DifferentialCohomology}

\hypertarget{ordinary_differential_cohomology}{}\paragraph*{{Ordinary differential cohomology}}\label{ordinary_differential_cohomology}

In every [[locally ∞-connected (∞,1)-topos|locally ∞-connected]] [[∞-connected (∞,1)-topos]] there is an intrinsic notion of [[ordinary differential cohomology]].

Fix a 0-[[truncated]] [[abelian group|abelian]] [[group object]] $A \in \tau_{\leq 0} \mathbf{H} \hookrightarrow \mathbf{H}$. For all $n \in \mathbf{N}$ we have then the [[Eilenberg-MacLane object]] $\mathbf{B}^n A$.

\begin{defn}
\label{}\hypertarget{}{}
For $X \in \mathbf{H}$ any object and $n \geq 1$ write

\begin{displaymath}
\mathbf{H}_{diff}(X,\mathbf{B}^n A) := 
    \mathbf{H}(X,\mathbf{B}^n A) \prod_{\mathbf{H}_{dR}(X,\mathbf{B}^n A)}
    H_{dR}^{n+1}(X,A)
\end{displaymath}
for the cocycle $\infty$-groupoid of [[twisted cohomology]], def. \ref{TwistedCohomologyInOvertopos}, of $X$ with coefficients in $A$ and with twist given by the canonical \hyperlink{CurvatureCharacteristics}{curvature characteristic morphism} $curv : \mathbf{B}^n A \to \mathbf{\flat}_{dR}\mathbf{B}^{n+1} A$. This is the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
    \mathbf{H}_{diff}(X,\mathbf{B}^n A) 
      &\stackrel{[F]}{\to}& 
     H_{dR}^{n+1}(X,A)
    \\
    {}^{\mathllap{\eta}}\downarrow && \downarrow
    \\
    \mathbf{H}(X,\mathbf{B}^n A) 
        &\stackrel{curv_*}{\to}& 
     \mathbf{H}_{dR}(X,\mathbf{B}^{n+1} A)
  }
  \,,
\end{displaymath}
where the right vertical morphism $H^{n+1}_{dR}(X) = \pi_0 \mathbf{H}_{dR}(X,\mathbf{B}^{n+1}A)
 \to \mathbf{H}_{dR}(X,\mathbf{B}^{n+1}A)$ is any choice of cocycle representative for each cohomology class: a choice of point in every connected component.

We call

\begin{displaymath}
H_{diff}^n(X,A) {:=} \pi_0 \mathbf{H}_{diff}(X, \mathbf{B}^{n} A)
\end{displaymath}
the degree-$n$ \textbf{[[differential cohomology]]} of $X$ with coefficient in $A$.

For $\nabla \in \mathbf{H}_{diff}(X,\mathbf{B}^n A)$ a [[cocycle]], we call

\begin{itemize}%
\item $[\eta(\nabla)] \in H^n(X,A)$ the class of the \textbf{underlying $\mathbf{B}^{n-1} A$-[[principal ∞-bundle]]};


\item $F(\nabla) \in H_{dR}^{n+1}(X,A)$ the \textbf{[[curvature]]} class of $c$.



\end{itemize}
We also say $\nabla$ is an \textbf{$\infty$-connection} on $\eta(\nabla)$ (see \hyperlink{ChernWeilTheory}{below}).

\end{defn}
\begin{prop}
\label{DiffCohIsWellDefined}\hypertarget{DiffCohIsWellDefined}{}
The differential cohomology $H_{diff}^n(X,A)$ does not depend on the choice of morphism $H_{dR}^{n+1}(X,A) \to \mathbf{H}_{dR}(X, \mathbf{B}^{n+1}A)$ (as long as it is an isomorphism on $\pi_0$, as required). In fact, for different choices the corresponding cocycle [[∞-groupoid]]s $\mathbf{H}_{diff}(X,\mathbf{B}^n A)$ are equivalent.

\end{prop}
\begin{proof}
The set

\begin{displaymath}
H_{dR}^{n+1}(X,A) = \coprod_{H_{dR}^{n+1}(X,A)} {*}
\end{displaymath}
is, as a 0-[[truncated]] [[∞-groupoid]], an [[(∞,1)-coproduct]] of the [[terminal object in an (∞,1)-category|terminal object]] in [[∞Grpd]]. By [[universal colimits]] in this [[(∞,1)-topos]] we have that [[(∞,1)-colimit]]s are preserved by [[(∞,1)-pullback]]s, so that $\mathbf{H}_{diff}(X, \mathbf{B}^n A)$ is the coproduct

\begin{displaymath}
\mathbf{H}_{diff}(X,\mathbf{B}^n A) \simeq
  \coprod_{H_{dR}^{n+1}(X,A)} 
   \left(
   \mathbf{H}(X,\mathbf{B}^n A) 
      \prod_{\mathbf{H}_{dR}(X,\mathbf{B}^{n+1}A)} 
    {*}
  \right)
\end{displaymath}
of the [[homotopy fiber]]s of $curv_*$ over each of the chosen points $* \to \mathbf{H}_{dR}(X,\mathbf{B}^{n+1}A)$. These homotopy fibers only depend, up to equivalence, on the connected component over which they are taken.

\end{proof}
\begin{prop}
\label{DiffCohomologyRestrictedToVanishingCurvature}\hypertarget{DiffCohomologyRestrictedToVanishingCurvature}{}
When restricted to vanishing curvature, differential cohomology coincides with \hyperlink{FlatDifferentialCohomology}{flat differential cohomology}:

\begin{displaymath}
H_{diff}^n (X,A)|_{[F] = 0} \simeq H_{flat}(X,\mathbf{B}^n A)
  \,.
\end{displaymath}
Moreover this is true at the level of [[cocycle]] [[∞-groupoid]]s

\begin{displaymath}
\left(
  \mathbf{H}_{diff}(X, \mathbf{B}^n A) 
    \prod_{H_{dR}^{n+1}(X,A)} \{[F] = 0\}
  \right)
  \simeq
  \mathbf{H}_{flat}(X,\mathbf{B}^n A)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By the  the claim is equivalently that we have an $(\infty,1)$-pullback diagram

\begin{displaymath}
\itexarray{
    \mathbf{H}_{flat}(X, \mathbf{B}^n A) &\to& {*}
    \\
    \downarrow && \downarrow^{\mathrlap{\{[F] = 0\}}}
    \\
    \mathbf{H}_{diff}(X,\mathbf{B}^n A) &\stackrel{[F]}{\to}& 
     H_{dR}^{n+1}(X,A)
    \\
    {}^{\mathllap{\eta}}\downarrow && \downarrow
    \\
    \mathbf{H}(X,\mathbf{B}^n A) 
        &\stackrel{curv_*}{\to}& 
     \mathbf{H}_{dR}(X,\mathbf{B}^{n+1} A)
  }
  \,.
\end{displaymath}
By definition of flat cohomology and of intrinsic de Rham cohomology in $\mathbf{H}$, the outer rectangle is

\begin{displaymath}
\itexarray{
    \mathbf{H}(X,\mathbf{\flat}\mathbf{B}^n A) &\to& {*}
    \\ 
    \downarrow && \downarrow 
    \\
    \mathbf{H}(X, \mathbf{B}^n A) 
      &\stackrel{curv_*}{\to}&
    \mathbf{H}(X, \mathbf{\flat}_{dR}\mathbf{B}^{n+1} A)
  }
  \,.
\end{displaymath}
Since the [[hom-functor]] $\mathbf{H}(X,-)$ preserves [[(∞,1)-limit]]s this is a pullback if

\begin{displaymath}
\itexarray{
    \mathbf{\flat} \mathbf{B}^n A &\to& *
    \\
    \downarrow && \downarrow
    \\
    \mathbf{B}^n A 
      &\stackrel{curv}{\to}& 
    \mathbf{\flat}_{dR} \mathbf{B}^{n+1} A
  }
\end{displaymath}
is. Indeed, this is one step in the [[fiber sequence]]

\begin{displaymath}
\cdots
   \to 
   \mathbf{\flat} \mathbf{B}^n A
   \to
   \mathbf{B}^n A
   \stackrel{curv}{\to}
   \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A
  \to
  \mathbf{\flat} \mathbf{B}^{n+1} A
   \to
  \mathbf{B}^{n+1} A
\end{displaymath}
that \hyperlink{CurvatureCharacteristics}{defines} $curv$ (using that $\mathbf{\flat}$ preserves limits and hence looping and delooping).

\end{proof}
The following establishes the characteristic [[short exact sequences]] that characterizes intrinsic [[differential cohomology]] as an extension of curvature forms by flat $\infty$-bundles and of bare $\infty$-bundles by connection forms.

\begin{prop}
\label{CurvatureExactSequence}\hypertarget{CurvatureExactSequence}{}
Let $im F \subset H_{dR}^{n+1}(X, A)$ be the [[image]] of the curvatures. Then the differential cohomology group $H_{diff}^n(X,A)$ fits into a [[short exact sequence]]

\begin{displaymath}
0 \to H^n_{flat}(X, A) \to H^n_{diff}(X,A) \to im F \to 0
\end{displaymath}
\end{prop}
\begin{proof}
Apply the [[long exact sequence of homotopy groups]] to the [[fiber sequence]]

\begin{displaymath}
\mathbf{H}_{flat}(X, \mathbf{B}^n A)
    \to 
  \mathbf{H}_{diff}(X, \mathbf{B}^n A)
   \stackrel{[F]}{\to}
  H_{dR}^{n+1}(X,A)
\end{displaymath}
of prop. \ref{DiffCohomologyRestrictedToVanishingCurvature} and use that $H_{dR}^{n+1}(X,A)$ is, as a set, a [[homotopy n-type|homotopy 0-type]] to get the [[short exact sequence]]

\begin{displaymath}
\itexarray{
    \pi_1(H_{dR}(X,A))  
     &\to& 
    \pi_0(\mathbf{H}_{flat}(X, \mathbf{B}^n A))
     &\to& 
    \pi_0(\mathbf{H}_{diff}(X, \mathbf{B}^n A))
     &\stackrel{[F]}{\to}&
    \pi_0(H_{dR}^{n+1}(X,A))
    \\
    = && = && = && \downarrow
    \\
    0 
      &\to& 
    H_{flat}^n(X, A) 
      &\to& 
    H_{diff}^n(X,A)
      &\to&
    im [F]
  }
  \,.
\end{displaymath}
\end{proof}
\begin{prop}
\label{CharacteristicClassExactSequence}\hypertarget{CharacteristicClassExactSequence}{}
The differential cohomology group $H_{diff}^n(X,A)$ fits into a [[short exact sequence]] of [[abelian group]]s

\begin{displaymath}
0 
   \to 
  H_{dR}^n(X,A)/H^{n-1}(X,A) 
   \to 
  H_{diff}^n(X,A) 
   \to 
  H^n(X,A)
   \to 
  0
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
This is a general statement about the definition of [[twisted cohomology]]. We claim that for all $n \geq 1$ we have a [[fiber sequence]]

\begin{displaymath}
\mathbf{H}(X, \mathbf{B}^{n-1}A)
  \to 
  \mathbf{H}_{dR}(X, \mathbf{B}^n A)
  \to 
  \mathbf{H}_{diff}(X, \mathbf{B}^n A)
  \to
  \mathbf{H}(X, \mathbf{B}^n A)
\end{displaymath}
in [[∞Grpd]]. This implies the [[short exact sequence]] using that by construction the last morphism is surjective on connected components (because in the defining $(\infty,1)$-pullback for $\mathbf{H}_{diff}$ the right vertical morphism is by assumption surjective on connected components).

To see that we do have the fiber sequence as claimed consider the pasting composite of [[(∞,1)-pullback]]s

\begin{displaymath}
\itexarray{
    \mathbf{H}_{dR}(X,\mathbf{B}^{n-1} A) 
    &\to& 
      \mathbf{H}_{diff}(X,\mathbf{B}^n A)  
    &\to& 
     H_{dR}(X, \mathbf{B}^{n+1} A)
    \\
    \downarrow && \downarrow && \downarrow
    \\
    {*} 
      &\to& 
    \mathbf{H}(X, \mathbf{B}^n A) 
      &\stackrel{curv}{\to}&
    \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} A)
  }
  \,.
\end{displaymath}
The square on the right is a pullback by the above definition. Since also the square on the left is assumed to be an $(\infty,1)$-pullback it follows by the  that the top left object is the $(\infty,1)$-pullback of the total rectangle diagram. That total diagram is

\begin{displaymath}
\itexarray{
    \Omega \mathbf{H}(X, \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A) 
    &\to& 
     H(X,\mathbf{\flat}_{dR} \mathbf{B}^{n+1} A)
    \\
    \downarrow && \downarrow
    \\
    * &\to& \mathbf{H}(X,\mathbf{\flat}_{dR} \mathbf{B}^{n+1} A)
  }
  \,,
\end{displaymath}
because, as before, this $(\infty,1)$-pullback is the coproduct of the homotopy fibers, and they are empty over the connected components not in the image of the bottom morphism and are the [[loop space object]] over the single connected component that is in the image.

Finally using that (as discussed at [[cohomology]] and at [[fiber sequence]])

\begin{displaymath}
\Omega \mathbf{H}(X,\mathbf{\flat}_{dR} \mathbf{B}^{n+1}A) 
    \simeq 
   \mathbf{H}(X,\Omega \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A)
\end{displaymath}
and

\begin{displaymath}
\Omega \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A 
    \simeq 
   \mathbf{\flat}_{dR} \Omega \mathbf{B}^{n+1}A
\end{displaymath}
since both $\mathbf{H}(X,-)$ as well as $\mathbf{\flat}_{dR}$ preserve [[(∞,1)-limit]]s and hence formation of [[loop space object]]s, the claim follows.

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
This is essentially the short exact sequence whose form is familiar from the traditional definition of [[ordinary differential cohomology]] only up to the following slight nuances in notation:

\begin{enumerate}%
\item The cohomology groups of the short exact sequence above denote the groups obtained in the given [[(∞,1)-topos]] $\mathbf{H}$, not in [[Top]]. Notably for $\mathbf{H} =$ [[?LieGrpd]], $A = U(1) =\mathbb{R}/\mathbb{Z}$ the [[circle group]] and $|X| \in Top$ the [[geometric realization]] of a paracompact manifold $X$, we have that $H^n(X,\mathbb{R}/\mathbb{Z})$ above is $H^{n+1}_{sing}({|\Pi X|},\mathbb{Z})$.


\item The fact that on the left of the short exact sequence for differential cohomology we have the de Rham cohomology set $H_{dR}^n(X,A)$ instead of something like the set of all flat forms as familiar from [[ordinary differential cohomology]] is because the latter has no intrinsic meaning but depends on a choice of model. After fixing a specific [[presentable (∞,1)-category|presentation]] of $\mathbf{H}$ by a [[model category]] $C$ we can consider instead of $H_{dR}^{n+1}(X,A) \to \mathbf{H}_{dR}(X, \mathbf{B}^{n+1}A)$ the inclusion of the set of objects $\Omega_{cl}^{n+1}(X,A) {:=} \mathbb{R}Hom_C(X, \mathbf{B}^{n+1}A )_0
\hookrightarrow \mathbb{R}Hom_C(X, \mathbf{B}^{n+1}A )$. However, by the \hyperlink{DiffCohIsWellDefined}{above observation} this only adds multiple copies of the homotopy types of the connected components of $\mathbf{H}_{diff}(X, \mathbf{B}^n A)$.



\end{enumerate}
For a detailed discussion of the relation to [[ordinary differential cohomology]] see at \emph{[[smooth ∞-groupoid]]} the section .

\end{remark}
In view of the second of these points one can make a \emph{choice} of cover in order to present the twisting cocycles functorially. To that end, let

\begin{displaymath}
\Omega^{n+1}_{cl}(-,A) \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A
\end{displaymath}
denote a choice of [[effective epimorphism in an (∞,1)-category|effective epimorphism]] out of a [[0-truncated]] object which we suggestively denote by $\Omega^{n+1}_{cl}(-,A)$.

\begin{defn}
\label{}\hypertarget{}{}
With a choice $\Omega^{n+1}_{cl}(-,A) \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A$ fixed, we say an object $X \in \mathbf{H}$ is \textbf{dR-[[projective object|projective]]} if the induced morphism

\begin{displaymath}
\mathbf{H}(X, \Omega^{n+1}_{cl}(-,A))
  \to 
  \mathbf{H}(X, \mathbf{\flat}_{dR} \mathbf{B}^{n+1}A)
\end{displaymath}
is itself an [[effective epimorphism in an (∞,1)-category|effective epimorphism]] (of [[∞-groupoid]])s.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
A morphism of $\infty$-groupoids is an effective epimorphism precisely if it is surjective on $\pi_0$ (see \href{http://ncatlab.org/nlab/show/effective+epimorphism+in+an+%28infinity%2C1%29-category#EffectiveEpisOfInfinityGroupoids}{here}). Since $\Omega^{n+1}_{cl}(-,A)$ is assumed to be [[0-truncated]], also

\begin{displaymath}
\Omega^{n+1}_{cl}(X,A) := \mathbf{H}(X, \Omega^{n+1}_{cl}(-,A))
\end{displaymath}
is 0-truncated. Hence $X$ is dR-projective precisely if the set $\Omega^{n+1}_{cl}(X,A)$ contains representatives of all intrinsic de Rham cohomology classes of $X$.

In terms of [[hypercohomology]] this may be thought of as saying that $X$ is dR-projective if every de Rham hypercohomology class on $X$ has a representative by a globally defined differential form. In models of cohesion we typically have that [[manifolds]] are dR-projective, but nontrivial [[orbifold]]s are not.

\end{remark}
\begin{defn}
\label{}\hypertarget{}{}
Write $\mathbf{B}^n A_{conn}$ for the $\infty$-pullback

\begin{displaymath}
\itexarray{
  \mathbf{B}^n A_{conn}
  &
  \stackrel{}{\to}
  &
  \Omega^{n+1}_{cl}(-,A)
  \\ 
  \downarrow && \downarrow
  \\
  \mathbf{B}^n A
  &
  \stackrel{curv}{\to}
  &
  \mathbf{\flat}_{dR}\mathbf{B}^{n+1}A
  }
  \,.
\end{displaymath}
We say that this is the \textbf{differential coefficient object} of $\mathbf{B}^n A$.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
For every dR-projective $X \in \mathbf{H}$ there is a canonical [[monomorphism in an (∞,1)-category|monomorphism]]

\begin{displaymath}
\mathbf{H}_{diff}(X,\mathbf{B}^n A)
  \to 
  \mathbf{H}(X, \mathbf{B}^n A_{conn})
  \,,
\end{displaymath}
\end{remark}
\begin{proof}
Consider the diagram

\begin{displaymath}
\itexarray{
    \mathbf{H}(X, \mathbf{B}^n A_{\mathrm{conn}})
    &
    \stackrel{}{\to}
    &
    \Omega^{n+1}_{cl}(-,A)
    \\ 
    \downarrow && \downarrow
    \\
    \mathbf{H}_{diff}(X,\mathbf{B}^n A)
    &
     \stackrel{}{\to}
    &
    H_{dR}^{n+1}(X,A)
    \\
    \downarrow && \downarrow
    \\
    \mathbf{H}(X, \mathbf{B}^n A)   
    &
    \stackrel{}{\to}
    &
    \mathbf{H}(X, \mathbf{\flat}_{dR}\mathbf{B}^{n+1}A)
  }
  \,.
\end{displaymath}
The bottom square is an [[∞-pullback]] by definition. A morphism as in the top right exists by assumption that $X$ is dR-prohective. Let also the top square be an $\infty$-pullback. Then by the [[pasting law]] so is the total rectangle, which identifies the top left object as indicated, since $\mathbf{H}(X,-)$ preserves $\infty$-pullbacks.

Since the top right morphism is in injection of sets, it is a monomorphism of $\infty$-groupoids. These are stable under $\infty$-pullback, which proves the claim.

\end{proof}
\hypertarget{generalized_differential_cohomology}{}\paragraph*{{Generalized differential cohomology}}\label{generalized_differential_cohomology}

For cohesive [[stable homotopy types]] the above discussion may be refined and stream-lined considerably. For more on this see at \emph{[[differential cohomology diagram]]}.

\hypertarget{ChernWeilTheory}{}\subsubsection*{{Chern-Weil homomorphism and $\infty$-connections}}\label{ChernWeilTheory}

Induced by the \hyperlink{DifferentialCohomology}{intrinsic differential cohomology} in any [[∞-connected (∞,1)-topos|∞-connected]] and [[locally ∞-connected (∞,1)-topos]] is an intrinsic notion of [[Chern-Weil homomorphism]].

Let $A$ be the chosen abelian [[∞-group]] as \hyperlink{DifferentialCohomology}{above}. Recall the \hyperlink{CurvatureCharacteristics}{universal curvature characteristic class}

\begin{displaymath}
curv : \mathbf{B}^n A \to \mathbf{\flat}_{dR}\mathbf{B}^{n+1}A
\end{displaymath}
for all $n \geq 1$.

\begin{defn}
\label{}\hypertarget{}{}
For $G$ an [[∞-group]] and

\begin{displaymath}
\mathbf{c} : \mathbf{B}G \to \mathbf{B}^n A
\end{displaymath}
a representative of a [[characteristic class]] $[\mathbf{c}] \in H^n(\mathbf{B}G, A)$ we say that the composite

\begin{displaymath}
\mathbf{c}_{dR} : \mathbf{B}G \stackrel{\mathbf{c}}{\to}
    \mathbf{B}^n A 
     \stackrel{curv}{\to}
    \mathbf{\flat}_{dR} \mathbf{B}^{n+1} A
\end{displaymath}
represents the corresponding [[differential characteristic class]] or \textbf{[[curvature characteristic class]]} $[\mathbf{c}_{dR}] \in H_{dR}^{n+1}(\mathbf{B}G, A)$.

The induced map on cohomology

\begin{displaymath}
(\mathbf{c}_{dR})_* 
   : 
  H^1(-,G)
  \to
  H^{n+1}_{dR}(-,A)
\end{displaymath}
we call the (unrefined) \textbf{[[∞-Chern-Weil homomorphism]]} induced by $\mathbf{c}$.

\end{defn}
The following construction universally lifts the $\infty$-Chern-Weil homomorphism from taking values in \hyperlink{deRhamCohomology}{intrinsic de Rham cohomology} to values in \hyperlink{DifferentialCohomology}{intrinsic differential cohomology}.

\begin{defn}
\label{}\hypertarget{}{}
For $X \in \mathbf{H}$ any object, define the [[∞-groupoid]] $\mathbf{H}_{conn}(X,\mathbf{B}G)$ as the [[(∞,1)-pullback]]

\begin{displaymath}
\itexarray{
    \mathbf{H}_{conn}(X, \mathbf{B}G) 
     &\stackrel{(\hat \mathbf{c}_i)_i}{\to}& 
     \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} 
     \mathbf{H}_{diff}(X,\mathbf{B}^{n_i} A)
   \\
   {}^{\mathllap{\eta}}\downarrow && \downarrow
   \\
   \mathbf{H}(X, \mathbf{B}G) 
     &\stackrel{( \mathbf{c}_i)_i}{\to}& 
     \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} 
   \mathbf{H}(X,\mathbf{B}^{n_i} A)
  }
 \,.
\end{displaymath}
We say

\begin{itemize}%
\item a cocycle in $\nabla \in \mathbf{H}_{conn}(X, \mathbf{B}G)$ is an [[connection on an ∞-bundle|∞-connection]]


\item on the [[principal ∞-bundle]] $\eta(\nabla)$;


\item a morphism in $\mathbf{H}_{conn}(X, \mathbf{B}G)$ is a [[gauge transformation]] of connections;


\item for each $[\mathbf{c}] \n H^n(\mathbf{B}G, A)$ the morphism

\begin{displaymath}
[\hat \mathbf{c}] :  H_{conn}(X,\mathbf{B}G) \to H_{diff}^n(X, A)
\end{displaymath}
is the (full/refined) \textbf{[[∞-Chern-Weil homomorphism]]} induced by the [[characteristic class]] $[\mathbf{c}]$.



\end{itemize}
\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
Under the [[curvature]] projection $[F] : H_{diff}^n (X,A) \to H_{dR}^{n+1}(X,A)$ the refined Chern-Weil homomorphism for $\mathbf{c}$ projects to the unrefined Chern-Weil homomorphism.

\end{prop}
\begin{proof}
This is due to the existence of the pasting composite

\begin{displaymath}
\itexarray{
    \mathbf{H}_{conn}(X, \mathbf{B}G) 
     &\stackrel{(\hat \mathbf{c}_i)_i}{\to}& 
     \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} 
     \mathbf{H}_{diff}(X,\mathbf{B}^{n_i} A)
    &\stackrel{[F]}{\to}&
     \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} 
     H_{dR}^{n_i+1}(X,A)
   \\
   {}^{\mathllap{\eta}}\downarrow && \downarrow && \downarrow
   \\
   \mathbf{H}(X, \mathbf{B}G) 
     &\stackrel{(\mathbf{c}_i)_i}{\to}& 
     \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} 
   \mathbf{H}(X,\mathbf{B}^{n_i} A)
    &\stackrel{curv_*}{\to}&
     \prod_{[\mathbf{c}_i] \in H^{n_i}(\mathbf{B}G,A); i \geq 1} 
    \mathbf{H}_{dR}(X, \mathbf{B}^{n_i+1},A)
  }
\end{displaymath}
of the defining $(\infty,1)$-pullback for $\mathbf{H}_{conn}(X,\mathbf{B}G)$ with the products of the defining $(\infty,1)$-pullbacks for the $\mathbf{H}_{diff}(X, \mathbf{B}^{n_i}A)$.

\end{proof}
As before for abelian coefficients, we introduce differential coefficient objects $\mathbf{B}G_{conn}$ that represent these differential cohomology classes over dR-projective objects

\begin{displaymath}
\itexarray{
    \mathbf{\flat}\mathbf{B}G
    &
    \stackrel{\mathbf{\flat}\mathbf{c}}{\to}
    &
    \mathbf{\flat}\mathbf{B}^{n+1} A
    \\
    \downarrow 
    &&
    \downarrow
    \\
    \mathbf{B}G_{conn}
    &
    \stackrel{\hat {\mathbf{c}}}{\to}
    &
    \mathbf{B}^{n+1}A_{conn}
    \\
    \downarrow && \downarrow
    \\
    \mathbf{B}G
    &\stackrel{\mathbf{c}}{\to}&
    \mathbf{B}^{n+1}A
  }
  \,.
\end{displaymath}
(\ldots{})

\hypertarget{HigherHolonomy}{}\subsubsection*{{Higher holonomy}}\label{HigherHolonomy}

The notion of \hyperlink{ChernWeilTheory}{intrinsic ∞-connections} in a cohesive $(\infty,1)$-topos induces a notion of [[higher parallel transport|higher holonomy]]

\begin{defn}
\label{CohomologicalDimension}\hypertarget{CohomologicalDimension}{}
We say an object $\Sigma \in \mathbf{H}$ has \textbf{[[cohomological dimension]]} $\leq n \in \mathbb{N}$ if for all $n$-[[connected]] and $(n+1)$-[[truncated]] objects $\mathbf{B}^{n+1}A$ the corresponding [[cohomology]] on $\Sigma$ is trivial

\begin{displaymath}
H(\Sigma, \mathbf{B}^{n+1}A ) \simeq *
  \,.
\end{displaymath}
Let $dim(\Sigma)$ be the maximum $n$ for which this is true.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
If $\Sigma \in \mathbf{H}$ has \hyperlink{CohomologicalDimension}{cohomological dimension} $\leq n$ then its \hyperlink{deRhamCohomology}{intrinsic de Rham cohomology} vanishes in degree $k \gt n$

\begin{displaymath}
H_{dR}^{k \gt n}(\Sigma, A) \simeq *
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Since $\mathbf{\flat}$ is a [[right adjoint]] it preserves [[delooping]] and hence $\mathbf{\flat} \mathbf{B}^k A \simeq \mathbf{B}^k \mathbf{\flat}A$. It follows that

\begin{displaymath}
\begin{aligned}
     H_{dR}^{k}(\Sigma,A)
     & :=
     \pi_0 \mathbf{H}(\Sigma, \mathbf{\flat}_{dR} \mathbf{B}^k A)
    \\
    & \simeq
     \pi_0 \mathbf{H}(\Sigma, * \prod_{\mathbf{B}^k A} \mathbf{B}^k \mathbf{\flat}A)
    \\
    & \simeq
    \pi_0
     \left( 
     \mathbf{H}(\Sigma,*) \prod_{\mathbf{H}(\Sigma, \mathbf{B}^k A)}
      \mathbf{H}(\Sigma, \mathbf{B}^k \mathbf{\flat}A)
     \right)
   \\
   & \simeq
    \pi_0 (*)
  \end{aligned}
  \,.
\end{displaymath}
\end{proof}
Let now again $A$ be fixed as \hyperlink{DifferentialCohomology}{above}.

\begin{defn}
\label{}\hypertarget{}{}
Let $\Sigma \in \mathbf{H}$, $n \in \mathbf{N}$ with $dim \Sigma \leq n$.

We say that the composite

\begin{displaymath}
\int_\Sigma 
  : 
  \mathbf{H}_{flat}(\Sigma, \mathbf{B}^n A)
   \stackrel{\simeq}{\to}
  \infty Gprd(\Pi(\Sigma), \Pi(\mathbf{B}^n A))
   \stackrel{\tau_{\leq n-dim(\Sigma)}}{\to}
  \tau_{n-dim(\Sigma)}
    \infty Gprd(\Pi(\Sigma), \Pi(\mathbf{B}^n A))
\end{displaymath}
of the [[adjunction]] equivalence followed by [[truncated|truncation]] is the \textbf{flat holonomy} operation on flat $\infty$-connections.

More generally, let

\begin{itemize}%
\item $\nabla \in \mathbf{H}_{diff}(X, \mathbf{B}^n A)$ be a differential coycle on some $X \in \mathbf{H}$


\item $\phi : \Sigma \to X$ a morphism.



\end{itemize}
Write

\begin{displaymath}
\phi^* : \mathbf{H}_{diff}(X, \mathbf{B}^{n+1} A) 
    \to 
  \mathbf{H}_{diff}(\Sigma, \mathbf{B}^n A)
   \simeq
  \mathbf{H}_{flat}(\Sigma, \mathbf{B}^n A)
\end{displaymath}
(using the \hyperlink{DiffCohomologyRestrictedToVanishingCurvature}{above proposition}) for the morphism on $(\infty,1)$-pullbacks induced by the morphism of diagrams

\begin{displaymath}
\itexarray{  
     \mathbf{H}(X, \mathbf{B}^n A) &\to&
     \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} A)
     &\leftarrow&
     H_{dR}^{n+1}(X, A)
     \\
     \downarrow^{\mathrlap{\phi^*}}
     &&
     \downarrow^{\mathrlap{\phi^*}}
     &&
     \downarrow
     \\
     \mathbf{H}(\Sigma, \mathbf{B}^n A) &\to&
     \mathbf{H}_{dR}(X, \mathbf{B}^{n+1} A)
     &\leftarrow&
     *     
  }
\end{displaymath}
The \textbf{[[higher parallel transport|holonomy]]} of $\nabla$ over $\sigma$ is the flat holonomy of $\phi^* \nabla$

\begin{displaymath}
\int_\phi \nabla := \int_{\Sigma} \phi^* \nabla
  \,.
\end{displaymath}
\end{defn}
\hypertarget{Transgression}{}\subsubsection*{{Transgression in differential cohomology}}\label{Transgression}

We discuss an intrinsic notion of [[transgression]]/[[fiber integration in ordinary differential cohomology]] internal to any cohesive $(\infty,1)$-topos. This generalizes the notion of [[higher holonomy]] discussed above.

Fix $A$ an abelian group object as above and $\mathbf{B}^n A_{conn}$ a corresponding differential coefficient object. Then for $\Sigma \in \mathbf{H}$ of [[cohomological dimension]] $k \leq n$ consider the map

\begin{displaymath}
[\Sigma, \mathbf{B}^n A_{conn}]
  \stackrel{conk_k \circ \tau_{n-k}}{\to}
  conk_{n-k} \tau_{n-k}
  [\Sigma, \mathbf{B}^n A_{conn}]
  \,.
\end{displaymath}
\begin{itemize}%
\item $[-,-]$ denotes the ;


\item $\tau_{n-k}$ denotes [[truncated object in an (infinity,1)-category|truncation]] in degree $n-k$;


\item $conk_{n-k}$ denotes \hyperlink{ConcreteObjects}{concretification} in degree $(n-k)$.



\end{itemize}
In typical models we have an equivalence

\begin{displaymath}
conk_k \tau_{n-k}
  [\Sigma, \mathbf{B}^n A_{conn}]
  \simeq
  \mathbf{B}^{n-1} A_{conn}
  \,.
\end{displaymath}
In this case we say that for

\begin{displaymath}
\hat \mathbf{c} : \mathbf{B}G_{conn} \to \mathbf{B}^n A_{conn}
\end{displaymath}
a differential characteristic map, that the composite

\begin{displaymath}
\exp(i \int_{\Sigma}(-))
  : 
  [\Sigma, \mathbf{B} G_{conn}]
  \to 
  [\Sigma, \mathbf{B}^n A_{conn}]
  \to
  \mathbf{B}^{n-k}A_{conn}
\end{displaymath}
is the \textbf{transgression} of $\hat \mathbf{c}$ to the [[mapping space]] $[\Sigma, \mathbf{B} G_{conn}]$.

For $k = n$ the reproduces, on the underlying $\infty$-groupoids, the [[higher holonomy]] discussed above.

(\ldots{})

\hypertarget{ChernSimonsTheory}{}\subsubsection*{{Chern-Simons functional}}\label{ChernSimonsTheory}

The notion of \hyperlink{ChernWeilTheory}{intrinsic ∞-connections} and their \hyperlink{HigherHolonomy}{higher holonomy} in a cohesive $(\infty,1)$-topos induces an intrinsic notion of and [[schreiber:∞-Chern-Simons theory|higher Chern-Simons functionals]].

\begin{defn}
\label{}\hypertarget{}{}
Let $\Sigma \in \mathbf{H}$ be of [[cohomological dimension]] $dim\Sigma = n \in \mathbb{N}$ and let $\mathbf{c} : X \to \mathbf{B}^n A$ a representative of a [[characteristic class]] $[\mathbf{c}] \in H^n(X, A)$ for some object $X$. We say that the composite

\begin{displaymath}
\exp(S_{\mathbf{c}}(-))
  : 
  \mathbf{H}(\Sigma, X)
   \stackrel{\hat \mathbf{c}}{\to}
  \mathbf{H}_{diff}(\Sigma, \mathbf{B}^n A)
   \stackrel{\simeq}{\to}
  \mathbf{H}_{flat}(\Sigma, \mathbf{B}^n A)
   \stackrel{\int_\Sigma}{\to}
  \tau_{\leq 0}
    \infty Grpd(\Pi(\Sigma), \Pi \mathbf{B}^n A)
\end{displaymath}
where $\hat \mathbf{c}$ denotes the \hyperlink{ChernWeilTheory}{refined Chern-Weil homomorphism} induced by $\mathbf{c}$, is the \textbf{[[schreiber:∞-Chern-Simons theory|extended Chern-Simons functional]]} induced by $\mathbf{c}$ on $\Sigma$.

The cohesive refinement of this (\ldots{}more discussion required\ldots{})

\begin{displaymath}
\int_\Sigma
    :
  [\Sigma, X] 
   \stackrel{}{\to}
  [\Sigma, \mathbf{B}^n A]_{diff}
   \stackrel{}{\to}
  conc_{n-dim \Sigma} [\Sigma, \mathbf{B}^n A]_{diff}
    \stackrel{\simeq}{\to}
  conc_{n-dim \Sigma} [\Sigma, \mathbf{\flat}\mathbf{B}^n A]
   \stackrel{}{\to}
  \tau_{n - \dim \Sigma} conc_{n-dim \Sigma} [\Sigma, \mathbf{\flat}\mathbf{B}^n A]
  \,,
\end{displaymath}
where

\begin{itemize}%
\item $[-,-]$ denotes the ;


\item $[\Sigma, \mathbf{B}^n A]_{diff} \stackrel{}{\to} conc_{n-dim \Sigma} [\Sigma, \mathbf{B}^n A]_{diff}$ is the \hyperlink{NConcretfication}{concretification projection} in degree $n - dim \Sigma$


\item $conc_{n-dim \Sigma} [\Sigma, \mathbf{\flat}\mathbf{B}^n A] \stackrel{}{\to} \tau_{n - \dim \Sigma} conc_{n-dim \Sigma} [\Sigma, \mathbf{\flat} \mathbf{B}^n A]$ is the [[truncated|truncation projection]] in the same degree



\end{itemize}
we call the \textbf{smooth [[schreiber:∞-Chern-Simons theory|extended Chern-Simons functional]]}.

\end{defn}
\begin{defn}
\label{}\hypertarget{}{}
In the language of [[sigma-model]] [[quantum field theory]] the ingredients of this definition have the following interpretation

\begin{itemize}%
\item $\Sigma$ is the \emph{worldvolume of a fundamental $(dim\Sigma-1)$-[[brane]]} ;


\item $X$ is the target space;


\item $\hat \mathbf{c}$ is the background [[gauge field]] on $X$;


\item $\mathbf{H}_{conn}(\Sigma,X)$ is the space of \emph{worldvolume field configurations} $\phi : \Sigma \to X$ or \emph{trajectories} of the brane in $X$;


\item $\exp(S_{\mathbf{c}}(\phi)) =  \int_\Sigma \phi^* \hat \mathbf{c}$ is the value of the [[action functional]] on the field configuration $\phi$.



\end{itemize}
\end{defn}
In suitable situations this construction refines to an internal construction.

Assume that $\mathbf{H}$ has a canonical [[line object]] $\mathbb{A}^1$ and a [[natural numbers object]] $\mathbb{Z}$. Then the [[action functional]] $\exp(i S(-))$ may lift to the [[internal hom]] with respect to the canonical  on any [[(∞,1)-topos]] to a morphism of the form

\begin{displaymath}
\exp(i S_{\mathbf{c}}(-)) : [\Sigma,\mathbf{B}G_{conn}] \to 
  \mathbf{B}^{n-dim \Sigma}\mathbb{A}^1/\mathbb{Z}
  \,.
\end{displaymath}
We call $[\Sigma, \mathbf{B}G_{conn}]$ the [[configuration space]] of the [[schreiber:∞-Chern-Simons theory]] defined by $\mathbf{c}$ and $\exp(i S_\mathbf{c}(-))$ the [[action functional]] in [[codimension]] $(n-dim\Sigma)$ defined on it.

See [[schreiber:∞-Chern-Simons theory]] for more discussion.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

[[!include cohesion - table]]

\hypertarget{references}{}\subsection*{{References}}\label{references}

\hypertarget{general}{}\subsubsection*{{General}}\label{general}

For general references on [[cohesive (∞,1)-toposes]] see there.

The above list of structures in any cohesive $(\infty,1)$-topos is the topic of section 2.3 of

\begin{itemize}%
\item [[Urs Schreiber]], \emph{[[schreiber:differential cohomology in a cohesive topos]]}

\end{itemize}
\hypertarget{formulation_in_homotopy_type_theory}{}\subsubsection*{{Formulation in homotopy type theory}}\label{formulation_in_homotopy_type_theory}

For formalizations of some structures in cohesive $(\infty,1)$-toposes in terms of [[homotopy type theory]] see \emph{[[cohesive homotopy type theory]]}.

[[!redirects cohesive (∞,1)-topos -- structures]]

[[!redirects structures in a cohesive (∞,1)-topos]]

[[!redirects structures in a cohesive infinity-topos]]

[[!redirects cohesive topos -- structures]] [[!redirects cohesive infinity-topos -- structures]]



\end{document}