\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*{fiber sequence}

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

\hypertarget{cohomology}{}\paragraph*{{Cohomology}}\label{cohomology}

[[!include cohomology - contents]]

\hypertarget{limits_and_colimits}{}\paragraph*{{Limits and colimits}}\label{limits_and_colimits}

[[!include infinity-limits - contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{Definition}{Definition}\dotfill \pageref*{Definition} \linebreak
\noindent\hyperlink{in_category_theory}{In $(\infty,1)$-category theory}\dotfill \pageref*{in_category_theory} \linebreak
\noindent\hyperlink{in_categories_of_fibrant_objects}{In categories of fibrant objects}\dotfill \pageref*{in_categories_of_fibrant_objects} \linebreak
\noindent\hyperlink{in_homotopy_type_theory}{In homotopy type theory}\dotfill \pageref*{in_homotopy_type_theory} \linebreak
\noindent\hyperlink{long_fibration_sequences}{Long fibration sequences}\dotfill \pageref*{long_fibration_sequences} \linebreak
\noindent\hyperlink{kernel_of_a_kernel_loop_objects}{Kernel of a kernel: loop objects}\dotfill \pageref*{kernel_of_a_kernel_loop_objects} \linebreak
\noindent\hyperlink{ContinuingToLongFiberSequences}{Long fibration sequences}\dotfill \pageref*{ContinuingToLongFiberSequences} \linebreak
\noindent\hyperlink{LongSequCoh}{Long exact sequences in cohomology}\dotfill \pageref*{LongSequCoh} \linebreak
\noindent\hyperlink{long_exact_sequences_of_homotopy_groups}{Long exact sequences of homotopy groups}\dotfill \pageref*{long_exact_sequences_of_homotopy_groups} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{CharOfEquivalences}{Characterization of equivalences}\dotfill \pageref*{CharOfEquivalences} \linebreak
\noindent\hyperlink{OfFuncCats}{Fiber sequences of $(\infty,1)$-functor categories}\dotfill \pageref*{OfFuncCats} \linebreak
\noindent\hyperlink{principal_bundles}{Principal $\infty$-bundles}\dotfill \pageref*{principal_bundles} \linebreak
\noindent\hyperlink{ActionGroupoid}{Action groupoids}\dotfill \pageref*{ActionGroupoid} \linebreak
\noindent\hyperlink{Integralreal}{Integral versus real cohomology}\dotfill \pageref*{Integralreal} \linebreak
\noindent\hyperlink{MayerVietoris}{Mayer-Vietoris sequences}\dotfill \pageref*{MayerVietoris} \linebreak
\noindent\hyperlink{of_a_cover}{Of a cover}\dotfill \pageref*{of_a_cover} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


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

A \emph{homotopy fiber sequence} is a ``long left-[[exact sequence]]'' in an [[(∞,1)-category]]. (The dual concept is that of \emph{[[cofiber sequence]]}.)

Traditionally fiber sequences have been considered in the context of [[homotopical category|homotopical categories]] such as [[model category|model categories]] and [[category of fibrant objects|Brown category of fibrant objects]] which [[presentable (infinity,1)-category|present]] the [[(∞,1)-category]] in question. In particular, classically this was considered for [[Top]] itself. In these cases they are obtained in terms of [[homotopy pullbacks]]. Since, as discussed there, the homotopy fiber of a morphism may be computed as the ordinary 1-categorical [[fiber]] of any [[fibration]] [[resolution]] of this morphism, one often also speaks of \emph{fibration sequences}.

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

\hypertarget{in_category_theory}{}\subsubsection*{{In $(\infty,1)$-category theory}}\label{in_category_theory}

Let $C$ be an [[(∞,1)-category]] with small [[limits]] and consider [[pointed objects]] of $C$, i.e. morphisms ${*} \to A$ from the [[terminal object]] ${*}$ ([[generalized the|the]] [[point]]) to some object $A$. All unlabeled morphisms from the point in the following are these chosen ones and all other morphisms are taken with respect to these points.

Notice that in the case that $C$ happens to be a [[stable (∞,1)-category]] for which ${*} = 0$ all objects are canonically pointed and the notions of left- and right-exact fibration sequences coincide.

But for the notion of fibration sequence to make sense, we do not need to assume that $C$ is a stable $(\infty,1)$-category. In particular, in the context of [[nonabelian cohomology]] (see [[gerbe]] and [[principal 2-bundle]]) one considers fibration sequences in non-stable $(\infty,1)$-categories.

Now let $f : A \to B$ be a morphism in $C$.

The \textbf{homotopy fiber} or \textbf{homotopy kernel} or \textbf{[[mapping cocone]]} of $f$ is [[generalized the|the]] [[pullback]] (which in our $(\infty,1)$-categorical context means [[homotopy limit|homotopy pullback]]) of the point along $f$:

\begin{displaymath}
\itexarray{
     ker(f) &\to& {*}
     \\
     \downarrow && \downarrow
     \\
     A &\stackrel{f}{\to}& B
  }
  \,.
\end{displaymath}
\hypertarget{in_categories_of_fibrant_objects}{}\subsubsection*{{In categories of fibrant objects}}\label{in_categories_of_fibrant_objects}

\begin{quote}%
under construction


\end{quote}
In (\hyperlink{Quillen67}{Quillen 67, section I.3}) it was shown how the theory of fiber sequences and [[cofiber sequences]] arises in the abstract homotopy theory of [[model categories]]. Focusing on the fiber sequences, this perspective depends only on the [[category of fibrant objects]] inside the model category, and in fact makes sense generally in this context. This was spelled out in (\hyperlink{Brown73}{Brown 73, section 4}), which we review here.

\begin{lemma}
\label{FiberOfFibrationIsCompatibleWithWeakEquivalences}\hypertarget{FiberOfFibrationIsCompatibleWithWeakEquivalences}{}
In [[pointed objects]] $\mathcal{C}_f^{\ast/}$ of a [[category of fibrant objects]] $\mathcal{C}_f$, def. \ref{FullSubcategoriesOfFibrantCofibrantObjects}, consider a morphism of [[fiber]]-diagrams, hence a [[commuting diagram]] of the form

\begin{displaymath}
\itexarray{
    fib(f_1) &\longrightarrow& X_1 &\underoverset{\in Fib}{f_1}{\longrightarrow}& Y_1
    \\
    \downarrow^{\mathrlap{}} && \downarrow && \downarrow
    \\
    fib(f_2) &\longrightarrow& X_2 &\underoverset{\in Fib}{f_2}{\longrightarrow}& Y_2
  }
  \,.
\end{displaymath}
If the two vertical morphisms on the right are weak equivalences, then so is the vertical morphism in the left

\end{lemma}
([[BrownAHT|Brown 73, section 4, lemma 3]])

\begin{proof}
Factor the diagram in question

\begin{displaymath}
\itexarray{
    fib(f_1) &\longrightarrow& X_1 &\underoverset{\in Fib}{f_1}{\longrightarrow}& Y_1
    \\
    \downarrow^{\mathrlap{}} && \downarrow && \downarrow^{\mathrlap{f}}
    \\
    fib(f_2) &\longrightarrow& X_2 &\underoverset{\in Fib}{f_2}{\longrightarrow}& Y_2
  }
\end{displaymath}
through the pullback of the bottom horizontal line:

\begin{displaymath}
\itexarray{
    fib(f_1) &\longrightarrow& X_1 &\underoverset{\in Fib}{f_1}{\longrightarrow}& Y_1
    \\
    \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\in W}} && \downarrow^{\mathrlap{id}}
    \\
    fib(\phi) &\longrightarrow& f^\ast X_2 &\underoverset{\in Fib}{\phi}{\longrightarrow}& Y_1
    \\
    \downarrow^{\mathrlap{}} && \downarrow^{\mathrlap{\in W}} && \downarrow^{\mathrlap{f}}_{\mathrlap{\in W}}    
    \\
    fib(f_2) &\longrightarrow& X_2 &\underoverset{\in Fib}{f_2}{\longrightarrow}& Y_2
  }
\end{displaymath}
Here $f^\ast X_2 \to X_2$ is a weak equivalence by lemma \ref{InCfPullbackAlongFibrationPreservesWeakEquivalences} and with this $X_1 \to f^\ast X_2$ is a weak equivalence by assumption and [[two-out-of-three]].

Moreover, this diagram exhibits $fib(f_1)\to fib(\phi)$ as the base change (along $\ast \to Y_2$) of $X_1 \to f^\ast X_2$.

Hence it is now sufficient to observe that in category of fibrant objects, base change preserves weak equivalences (\ldots{}).

\end{proof}
Hence we say:

\begin{defn}
\label{HomotopyFiber}\hypertarget{HomotopyFiber}{}
Let $\mathcal{C}$ be a [[model category]]. For $f \colon X \longrightarrow Y$ any morphism, then its \textbf{[[homotopy fiber]]}

\begin{displaymath}
hofib(f)\longrightarrow X
\end{displaymath}
is the morphism in the [[homotopy category of a model category|homotopy category]] $Ho(\mathcal{C})$, def. \ref{HomotopyCategoryOfAModelCategory}, which is represented by the [[fiber]], def. \ref{FiberAndCofiberInPointedObjects}, of any fibration resolution of $f$.

\end{defn}
We may now state the abstract version of the statement of prop. \ref{SerreFibrationGivesExactSequenceOfHomotopyGroups}:

\begin{prop}
\label{ExactSequenceOfHomotopyFiberAtOneStage}\hypertarget{ExactSequenceOfHomotopyFiberAtOneStage}{}
Let $\mathcal{C}$ be a [[model category]]. For $f \colon X \to Y$ any morphism of [[pointed objects]], and for $A$ a [[pointed object]], def. \ref{CategoryOfPointedObjects}, then the sequence

\begin{displaymath}
[A,hofib(f)]_\ast \overset{i_\ast}{\longrightarrow} [A,X]_\ast \overset{f_\ast}{\longrightarrow} [A,Y]_{\ast}
\end{displaymath}
is [[exact sequence|exact]] (the sequence being the image of the [[homotopy fiber]] sequence of def. \ref{HomotopyFiber} under the hom-functor of the pointed [[homotopy category of a model category]]

\begin{displaymath}
[A,-]_\ast \;\colon\; Ho(\mathcal{C}^{/\ast}) \longrightarrow Set^{\ast/}
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
We may choose representatives such that $A$ is cofibrant, and $f$ is a fibration. Then we are faced with an ordinary pullback diagram

\begin{displaymath}
\itexarray{
    hofib(f) &\overset{i}{\longrightarrow}& X
    \\
    \downarrow && \downarrow^{\mathrlap{p}}
    \\
    \ast &\longrightarrow& Y
  }
\end{displaymath}
and the hom-classes are represented by genuine morphisms in $\mathcal{C}$. From this it follows immediately that $ker(p_\ast)$ includes $im(i_\ast)$. Hence it remains to show that every element in $ker(p_\ast)$ indeed comes from $im(i_\ast)$.

But an element in $ker(p_\ast)$ is represented by a morphism $\alpha \colon A \to X$ such that there is a left homotopy as in the following diagram

\begin{displaymath}
\itexarray{
     && A &\overset{\alpha}{\longrightarrow}& X
     \\
     && {}^{\mathllap{i_0}}\downarrow &{}^{\tilde \eta}\nearrow& \downarrow^{\mathrlap{p}}
     \\
     A &\overset{i_1}{\longrightarrow} & Cyl(A) &\overset{\eta}{\longrightarrow}& Y
     \\
     \downarrow && && \downarrow^{\mathrlap{=}}
     \\
     \ast && \longrightarrow && Y
  }
  \,.
\end{displaymath}
Now by lemma \ref{ComponentMapsOfCylinderAndPathSpaceInGoodSituation} the square here has a lift $\tilde \eta$, as shown. This means that $i_1 \circ\tilde \eta$ is left homotopic to $\alpha$. But by the universal property of the fiber, $i_1 \circ \tilde \eta$ factors through $i \colon hofib(f) \to X$.

\end{proof}
\hypertarget{in_homotopy_type_theory}{}\subsubsection*{{In homotopy type theory}}\label{in_homotopy_type_theory}

In [[homotopy type theory]] the homotopy fiber of a function term $f : A \to B$ over a function term $pt_B : * \to B$ is the type

\begin{displaymath}
\sum_{a : A} (f(a) = pt_B)
  \,,
\end{displaymath}
hence the [[dependent sum]] over $A$ of the [[identity type]] on $B$ with $f(a)$ and $pt_B$ [[substitution|substituted]]. (A special case of the discussion at [[homotopy pullback]])

For the corresponding [[Coq]] code see

\begin{itemize}%
\item [[Vladimir Voevodsky]], \emph{\href{https://github.com/vladimirias/Foundations/blob/master/Generalities/uu0.v}{Foundations/Generalities/uuo.v}}

\end{itemize}
\hypertarget{long_fibration_sequences}{}\subsection*{{Long fibration sequences}}\label{long_fibration_sequences}

A crucial difference between $\infty$-categorical fibration sequences and ordinary 1-categorical sequences is that the former are always \emph{long} : in contrast to the ordinary kernel of a kernel, which is necessarily trivial, the homotopy kernel of a homotopy kernel is typically far from trivial, but is a [[loop space object]]. Due to that, each fibration sequence extend to the left by as many steps (times 3) as the objects involved have nontrivial [[homotopy group]]s.

\hypertarget{kernel_of_a_kernel_loop_objects}{}\subsubsection*{{Kernel of a kernel: loop objects}}\label{kernel_of_a_kernel_loop_objects}

In particular the homotopy fiber of the point ${*} \to B$ is the [[loop space object]] $\Omega B$ of $B$ (by definition):

\begin{displaymath}
\itexarray{
     \Omega B &\to& {*}
     \\
     \downarrow && \downarrow
     \\
     {*} &\stackrel{}{\to}& B
  }
  \,.
\end{displaymath}
Notice that the ordinary 1-categorical [[pullback]] of a point to itself is necessarily just the point again. Much of what makes [[(∞,1)-category]]-theory richer than ordinary category theory is this fact that the kernel of the point is not trivial, but loops. This implies in particular that \textbf{the kernel of the kernel is in general nontrivial}.

Namely the homotopy kernel of the morphism $ker(f) \to A$ constructed above is by definition the homotopy limit in the diagram

\begin{displaymath}
\itexarray{
    ker(ker(f)) &\to& ker(f)
    \\
    \downarrow && \downarrow
    \\
    {*} &\to & A
  }
\end{displaymath}
This is the same kind of diagram as before, just depicted after taking its mirror image along a diagonal. The point of drawing it this way is that this suggests to form the pasting diagram with the one that defines $ker(f)$

\begin{displaymath}
\itexarray{
    ker(ker(f)) &\to& ker(f) &\to& {*}
    \\
    \downarrow && \downarrow && \downarrow
    \\
    {*} &\to& A &\stackrel{f}{\to}& B
  }
  \,.
\end{displaymath}
Since the $(\infty,1)$-categorical pullback \href{http://ncatlab.org/nlab/show/limit+in+a+quasi-category#PushoutPasting}{satisfies the pasting law} just as ordinary [[pullback]] diagrams do, it follows that the total outer square obtained this way is itself a [[homotopy pullback]]. But by definition of the [[loop space object]] $\Omega B$ this means that the kernel of the kernel is loops:

\begin{displaymath}
ker(ker(f)) \simeq \Omega B
  \,.
\end{displaymath}
I.e. all three squares in

\begin{displaymath}
\itexarray{
    \Omega B &\to& ker(f) &\to& {*}
    \\
    \downarrow && \downarrow && \downarrow
    \\
    {*} &\to& A &\stackrel{f}{\to}& B
  }
\end{displaymath}
are (homotopy) pullback squares.

\hypertarget{ContinuingToLongFiberSequences}{}\subsubsection*{{Long fibration sequences}}\label{ContinuingToLongFiberSequences}

Continuing this way to the left with the [[pasting law]], we obtain a long fiber sequence of morphisms to the left of the form

\begin{displaymath}
\cdots
    \to
  \Omega ker(f)
    \longrightarrow
  \Omega A 
    \stackrel{\Omega f}{\longrightarrow}
  \Omega B 
    \longrightarrow 
  ker(f) 
    \stackrel{g}{\longrightarrow}
  A 
    \stackrel{f}{\longrightarrow} B
  \,.
\end{displaymath}
A subtlety to be aware of here is that $\Omega B$ is not quite $ker(ker(f))$, but the latter instead is $\bar \Omega f$, where $\bar \Omega$ denotes loops with reversed orientation.

A classical discussion of this in terms of computing homotopy fibers via [[path object]] fibrant replacements is e.g. in (\hyperlink{Switzer75}{Switzer 75, around 2.57}). But let's see it just diagrammatically:

First observe that it is indeed $\Omega f$ and not $\bar \Omega f$ that appears in the above: by ``bending around'' the bottom left ``$\ast \to$'' we get

\begin{displaymath}
\itexarray{
    \Omega A &\longrightarrow& \ast
    \\
    \downarrow^{\mathrlap{\Omega f}} && \downarrow
    \\
    \Omega B & \longrightarrow & ker(f) &\longrightarrow& \ast
    \\
    \downarrow && \downarrow^{\mathrlap{g}} && \downarrow
    \\
    \ast &\longrightarrow & A &\stackrel{f}{\longrightarrow}& B
  }
  \;\;\;\;\;
  \simeq  
  \;\;\;\;\;
  \left(
  \itexarray{
    \ast &\longrightarrow& \ast
    \\
    \downarrow && \downarrow
    \\
    ker(f) &\longrightarrow& \ast
    \\
    \downarrow^{\mathrlap{g}} && \downarrow
    \\
    A &\stackrel{f}{\longrightarrow}& B
    \\
    \uparrow && \uparrow
    \\
    \ast &\longrightarrow& \ast
  }
  \right)
  \stackrel{\underset{\longleftarrow}{\lim}}{\mapsto}
  \left(
    \Omega A \stackrel{\Omega f}{\longrightarrow} \Omega B
  \right)
  \,.
\end{displaymath}
On the other hand, if we define the homotopy fiber of any morphism $\phi$ by the diagram

\begin{displaymath}
\itexarray{
    ker(\phi) &\longrightarrow& \ast
    \\
    \downarrow &\swArrow& \downarrow
    \\
    & \stackrel{\phi}{\longrightarrow} & 
  }
\end{displaymath}
then $ker(g)$ is given by the diagram

\begin{displaymath}
\itexarray{
    ker(g) &\longrightarrow& \ast
    \\
    \downarrow &\swArrow& \downarrow
    \\
    ker(f) &\stackrel{g}{\longrightarrow}& A
  }
\end{displaymath}
but what appears in the above pasting diagram is instead this diagram ``reflected at the diagonal axis''

\begin{displaymath}
\itexarray{
    ker(g) &\longrightarrow& \ast
    \\
    \downarrow &\swArrow& \downarrow
    \\
    ker(f) &\stackrel{g}{\longrightarrow}& A
  }
  \;\;\;
  \simeq
  \;\;\;
  \itexarray{
    \Omega B &\longrightarrow& \ast
    \\
    \downarrow &\swArrow& \downarrow
    \\
    ker(f) &\stackrel{g}{\longrightarrow}& A
  }
  \;\;\;\;
  \simeq
  \;\;\;\;
  \left(
  \itexarray{
    \Omega B &\longrightarrow& ker(f)
    \\
    \downarrow &\swArrow& \downarrow
    \\
    \ast &\longrightarrow& A
  }
  \right)^{-1}
\end{displaymath}
Here ``$(-)^{-1}$'' denotes the inverse of the [[2-morphism]] ([[homotopies]]). Since it is these 2-morphisms/homotopies that become the loops in the loop space, it is here that loop reversal appears in translating between the naive iterated homotopy fiber to the construction that actually appears in the above pasting composite.

\hypertarget{LongSequCoh}{}\subsubsection*{{Long exact sequences in cohomology}}\label{LongSequCoh}

Usually, when looking at fibration sequences in 1-categorical contexts of the [[homotopy category of an (∞,1)-category]], one doesn't see these long fibration squences directly, but only ``in cohomology''.

This can be usefully understood as follows:

recall from [[cohomology]] that for $X$ and $A$ objects in an [[(∞,1)-category]] $C$ that is an [[(∞,1)-topos]], the $\infty$-groupoid of $A$-valued cocycle on $X$ is just $Hom_C(X,A)$, so that the corresponding cohomology classes are

\begin{displaymath}
H(X,A) = \Pi_0 Hom_C(X,A) = Ho_C(X,A)
  \,,
\end{displaymath}
where $Ho_C$ is the corresponding [[homotopy category of an (∞,1)-category]].

The upshot being that in the right $(\infty,1)$-context cohomology is just the [[hom-object]].

But the [[hom-functor]] has the crucial property that it is an [[exact functor]] in both arguments. This holds for $(\infty,1)$-categories just as well as for ordinary categories. For our context this means in particular that for

\begin{displaymath}
\itexarray{
    A \times_K B &\to& B
    \\
    \downarrow && \downarrow
    \\
    A &\to& K
  }
\end{displaymath}
a homotopy pullback in $C$, for every $X \in K$ the induced diagram

\begin{displaymath}
\itexarray{
     Hom_C(X,A \times_K B) &\to& Hom_C(X,B)
    \\
    \downarrow && \downarrow
    \\
    Hom_C(X,A) &\to& Hom_C(X,K)
  }
\end{displaymath}
is again homotopy pullback diagram (of [[∞-groupoids]]); in particular the morphism $Hom_C(X,A \times_K B)\to Hom_C(X,A) \times_{Hom_{C}(X,K)} Hom_C(X,B)$ induced by the universal property of homotopy pullback is an equivalence.

So in particular for

\begin{displaymath}
\cdots
  \to
  \Omega \Omega B
  \to
  \Omega ker(f)
  \to
  \Omega A \stackrel{\bar \Omega f}{\to}
  \Omega B \to ker(f) \to A \stackrel{f}{\to} B
\end{displaymath}
a fibration sequence and for $X$ any object, there is a fibration sequence

\begin{displaymath}
\cdots
  \to
  Hom_C(X,\Omega \Omega B)
  \to
  Hom_C(X,\Omega ker(f))
  \to
  Hom_C(X,\Omega A) \stackrel{Hom_C(X,\bar \Omega f)}{\to}
  Hom_C(X,\Omega B) \to Hom_C(X,ker(f)) \to Hom_C(X,A) \stackrel{Hom_C(X,f)}{\to} Hom_C(X,B)
\end{displaymath}
is again a fibration sequence, now of $\infty$-groupoids. By projecting everything to connected components with $\Pi_0$ this then yields an ordinary long exact sequence of pointed sets

\begin{displaymath}
\cdots
  \to
  Ho_C(X,\Omega \Omega B)
  \to
  Ho_C(X,\Omega ker(f))
  \to
  Ho_C(X,\Omega A) \stackrel{Ho_C(X,\bar \Omega f)}{\to}
  Ho_C(X,\Omega B) \to Ho_C(X,ker(f)) \to Ho_C(X,A) \stackrel{Ho_C(X,f)}{\to} Ho_C(X,B)
  \,.
\end{displaymath}
Due to the identitfication of [[cohomology]] with these homotopy hom-sets via $Ho_C(X,A) =: H(X,A)$, this is a ``long exact sequence in cohomology''

\begin{displaymath}
\cdots
  \to
  H(X,\Omega \Omega B)
  \to
  H(X,\Omega ker(f))
  \to
  H(X,\Omega A) \stackrel{H(X,\bar \Omega f)}{\to}
  H(X,\Omega B) \to H(X,ker(f)) \to H(X,A) \stackrel{H(X,f)}{\to} H(X,B)
  \,.
\end{displaymath}
\hypertarget{long_exact_sequences_of_homotopy_groups}{}\subsubsection*{{Long exact sequences of homotopy groups}}\label{long_exact_sequences_of_homotopy_groups}

See [[long exact sequence of homotopy groups]].

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

\hypertarget{CharOfEquivalences}{}\subsubsection*{{Characterization of equivalences}}\label{CharOfEquivalences}

We may read off from the non-triviality of the homotopy fiber $A$ of a morphism $f : B \to C$ to which extent $f$ fails to be an [[equivalence in a quasi-category|equivalence]].

\begin{uprop}
A morphism $f : B \to C$ in [[∞Grpd]] is an equivalence precisely if all its homotopy fibers over every point of $C$ are [[contractible]], i.e. are equivalent to $*$.

More generally, a morphism $f : B \to C$ in any [[(∞,1)-category]] $\mathcal{C}$ is an equivalence if for all objects $X \in \mathcal{C}$ all homotopy fibers of the morphism $\mathcal{C}(X,f) : \mathcal{C}(X,B) \to \mathcal{C}(X,C)$ are contractible.

\end{uprop}
For more on this see [[n-truncated object of an (∞,1)-category]]. Also [[Higher Topos Theory|HTT, around example 5.5.6.13]]. For more on homotopy fibers of hom-spaces see \hyperlink{OfFuncCats}{the section below}.

\hypertarget{OfFuncCats}{}\subsubsection*{{Fiber sequences of $(\infty,1)$-functor categories}}\label{OfFuncCats}

We have seen that for $A \to B \stackrel{f}{\to} C$ a fiber sequence in an $(\infty,1)$-category $\mathcal{C}$, then for any other object $X$ we obtain a fiber sequence

\begin{displaymath}
Hom_{\mathcal{C}}(X,A)
  \to 
  Hom_{\mathcal{C}}(X,B)
  \stackrel{f_*}{\to}
  Hom_{\mathcal{C}}(X,C)
\end{displaymath}
in [[∞Grpd]], where the point of $Hom_{\mathcal{C}}(X,C)$ is $X \to * \to C$ with $* \to C$ the point of $C$, so that $Hom_{\mathcal{C}}(X,A)$ is the homotopy fiber over this point of the morphism given by postcomposition with $B \to C$.

Often it is important to know the homotopy fibers of $f_*$ also over other objects in $Hom_{\mathcal{C}}(X,C)$. This is notably the case when considering [[twisted cohomology]] with coefficients in $A$.

\begin{uprop}
The homotopy fiber of $Hom_{\mathcal{C}}(X,B) \stackrel{f_*}{\to} Hom_{\mathcal{C}}(X,C)$ over a morphism $c : X \to C$ may be identified with the [[hom-object in a quasi-category|hom-object]]

\begin{displaymath}
Hom_{\mathcal{C}_{/C}}(c,f)
\end{displaymath}
in the [[over quasi-category|over (∞,1)-category]] $\mathcal{C}_{/C}$.

\end{uprop}
This is [[Higher Topos Theory|HTT, prop. 5.5.5.12]].

\begin{proof}
Model all [[(∞,1)-categories]] as [[quasi-categories]].

Using the discussion at [[hom-object in a quasi-category]], we observe that

\begin{displaymath}
Hom_{\mathcal{C}}(X,C) \simeq \mathcal{C}_{/C} \times_{\mathcal{C}} \{X\}
\end{displaymath}
and

\begin{displaymath}
Hom_{\mathcal{C}}(X,B) \simeq \mathcal{C}_{/B} \times_{\mathcal{C}} \{X\}
  \simeq \mathcal{C}_{/f} \times_{\mathcal{C}} \{X\}
\end{displaymath}
under which identification the map $f_*$ is induced by the canonical

\begin{displaymath}
\phi''  : \mathcal{C}_{/f} \to \mathcal{C}_{/C}
  \,.
\end{displaymath}
So we are done if we can show that the ordinary [[pullback]] [[diagram]]

\begin{displaymath}
\itexarray{  
     \mathcal{C}_{/f} \times_{\mathcal{C}_{/C}} \{c\}
     &\to& \mathcal{C}_{/f} \times_{\mathcal{C}} \{X\}
     \\
     \downarrow^{\mathrlap{\phi}} && \downarrow^{\mathrlap{\phi'}}
     \\
     \{c\} &\to& \mathcal{C}_{/C} \times_{\mathcal{C}} \{X\}
  }
\end{displaymath}
is a [[homotopy pullback]] square, because we have an isomorphism of simplicial sets

\begin{displaymath}
\mathcal{C}_{/f} \times_{\mathcal{C}_{/C}} \{c\}
  \simeq
  Hom^R_{\mathcal{C}_{/X}}(c,f)
  \,,
\end{displaymath}
as one checks.

Since in the above diagram all objects are [[Kan complex]]es, for the diagram to be a homotopy pullback it is sufficient that $\phi'$ is a [[Kan fibration]] for which in turn it is sufficient that it is a [[left fibration]].

That follows by noticing that the right vertical morphism fits into the pullback diagram

\begin{displaymath}
\itexarray{
     \mathcal{C}_{/f} \times_{\mathcal{C}} \{X\} &\to& \mathcal{C}_{/f}
     \\
     \downarrow^{\mathrlap{\phi'}} && \downarrow^{\mathrlap{\phi''}}
     \\
     \mathcal{C}_{/C} \times_{\mathcal{C}} \{X\}
     &\to&
     \mathcal{C}_{/C}
  }
  \,.
\end{displaymath}
But by general properties of [[left fibration]]s, the right vertical map is a left fibration. And since these are stable under pullbacks, so is $\phi'$.

\end{proof}
\hypertarget{principal_bundles}{}\subsubsection*{{Principal $\infty$-bundles}}\label{principal_bundles}

Fibration sequences are familiar from the context of [[principal bundles]].

Let $G$ be a [[group]] and let $\mathbf{B}G$ denote the corresponding one-object [[groupoid]] (in the world of [[∞-groupoids]]) or else the [[classifying space]] $\mathcal{B}G$.

Notice that

\begin{displaymath}
G \simeq \Omega \mathbf{B} G
  \,.
\end{displaymath}
Then that a $G$-[[principal bundle]] $P \to X$ is classified by morphism $X \to \mathbf{B}G$ means that it is the homotopy fiber of this morphism.

Indeed, as indicated at [[generalized universal bundle]] and at [[homotopy limit]], we may compute the homotopy pullback

\begin{displaymath}
\itexarray{
  P &\to& {*}
  \\
  \downarrow && \downarrow
  \\
  X &\to& \mathbf{B}G
 }
\end{displaymath}
by first forming the standard \emph{fibrant replacement} of the diagram $X \to \mathbf{B}G \leftarrow {*}$. That is given by the diagram

\begin{displaymath}
X \to \mathbf{B}G \leftarrow \mathbf{E}G  
  \,,
\end{displaymath}
where $\mathbf{E}G \simeq {*}$ is the total ``space'' (or 2-groupoid) of the universal $G$-bundle. Once we have done this weakly equivalent replacement, the [[homotopy pullback]] may be computed as the \emph{ordinary} pullback

\begin{displaymath}
\itexarray{
   P &\to & \mathbf{E}G
   \\
   \downarrow && \downarrow
   \\
   \hat X &\stackrel{g}{\to}& \mathbf{B}G
  }
  \,,
\end{displaymath}
in the ordinary 1-category of $n$-groupoids or spaces, using a replacement $\hat X \stackrel{\simeq}{\twoheadrightarrow} X$ of $X$ by an acyclic fibration (called ``[[hypercover]]'' in this context) (for instance the ech groupoid associated with an open cover of $X$).

One recognizes the usual statement that principal $G$-bundles all arise as pullbacks of the universal $G$-principal bundle.

The fact that such pullbacks really are bundles whose fiber is $G$ is the statement of the long fibration sequence induced by $g$ which says that picking any point ${*} \to X$ of $X$ and then pulling back $P$ to that point (i.e. restricting it to that point) yields $\Omega \mathbf{B}G = G$:

\begin{displaymath}
\itexarray{
   G \simeq
   \Omega \mathbf{B}G
   &\to&
   P &\to & \mathbf{E}G
   \\
   \downarrow && \downarrow && \downarrow
   \\
   {*}&\stackrel{x}{\to}& \hat X &\stackrel{g}{\to}& \mathbf{B}G
  }
  \,,
\end{displaymath}
The same logic -- even the same diagrams -- work for [[principal 2-bundles]] and generally for [[principal ∞-bundles]].

\hypertarget{ActionGroupoid}{}\subsubsection*{{Action groupoids}}\label{ActionGroupoid}

Let $G$ be an [[∞-group]] in that $\mathbf{B}G$ is an [[∞-groupoid]] with a single object. An action of $G$ on an [[(∞,1)-category]] is an [[(∞,1)-functor]]

\begin{displaymath}
\rho : \mathbf{B}G \to (\infty,1)Cat
\end{displaymath}
to [[(∞,1)Cat]]. This takes the single object of $\mathbf{B}G$ to some $(\infty,1)$-category $V$.

The \emph{[[action groupoid]]} $V//G$ is the [[limit in a quasi-category|(∞,1)-categorical colimit]] over the action:

\begin{displaymath}
C//G := \lim_\to \rho
  \,.
\end{displaymath}
By the result \href{http://ncatlab.org/nlab/show/limit+in+a+quasi-category#WithValInooGrpd}{described here} this is, equivalent to the pullback of the ``universal $(\infty,1)Cat$-bundle'' $Z \to (\infty,1)Cat$, namely to the [[coCartesian fibration]]

\begin{displaymath}
\itexarray{
    V//G &\to& Z
    \\
    \downarrow && \downarrow
    \\
    \mathbf{B}G &\stackrel{\rho}{\to}& (\infty,1)Grpd
  }
\end{displaymath}
classified by $\rho$ under the [[(∞,1)-Grothendieck construction]]. We obtain a [[fiber sequence]] to the left by adjoining the $(\infty,1)$-categorical pullback along the point inclusion $* \to \mathbf{B}G$

\begin{displaymath}
\itexarray{
    V&\to& V//G &\to& Z
    \\
    \downarrow && \downarrow && \downarrow
    \\
    {*} &\to& \mathbf{B}G &\stackrel{\rho}{\to}& (\infty,1)Grpd
  }
  \,.
\end{displaymath}
The resulting total $(\infty,1)$-pullback rectangle is the fiber of $Z \to (\infty,1)Cat$ over the $(\infty,1)$-category $C$, which is $V$ itself, as indicated.

Notice that every fibration sequence $V \to V//G \to \mathbf{B}G$ with $V//G \to \mathbf{B}G$ a [[coCartesian fibration]] arises this way, up to equivalence.

\hypertarget{Integralreal}{}\subsubsection*{{Integral versus real cohomology}}\label{Integralreal}

One of the most basic fibration sequences that appears all over the place in practice is the sequence of [[Eilenberg-MacLane object]]s

\begin{displaymath}
\cdots
  \to
  \mathbf{B}^{n-1} \mathbb{R}/\mathbb{Z}
  \to 
  \mathbf{B}^n \mathbb{Z}
  \to 
  \mathbf{B}^n \mathbb{R}
  \to  
  \mathbf{B}^n \mathbb{R}/\mathbb{Z}
  \to 
  \mathbf{B}^{n+1} \mathbb{Z}
  \to 
  \cdots
\end{displaymath}
in $\mathbf{H} =$ [[∞Grpd]]/[[Top]], where $\mathbb{R}$ is the abelian group (under addition) of [[real number]], $\mathbb{Z}$ the abelian group of [[integer]]s, and where $\mathbb{R}/\mathbb{Z} = S^1 = U(1)$ is their [[quotient]] group, the circle group or [[unitary group]] $U(n)$ for $n=1$.

A quick way to see that this is indeed a fibration sequence is to realize that $\mathbb{R}/\mathbb{Z}$ is equivalent to the weak quotient [[action groupoid]] $\mathbb{R}//\mathbb{Z}$. Since everything here is in the image of the [[Dold-Kan correspondence]]

\begin{displaymath}
\infty Grpd \simeq
  KanCplx
  \hookrightarrow
  sSet 
   \stackrel{\overset{U}{\leftarrow}}{\underset{F}{\to}}
  sAb
  \stackrel{\overset{\Xi}{\leftarrow}}{\underset{N^\bullet}{\to}}
  Ch^+
\end{displaymath}
it is useful to model this fiber sequence as a sequence of [[chain complex]]es

\begin{displaymath}
(
  \mathbf{B}^n\mathbb{R}
  \to 
  \mathbf{B}^n \mathbb{R}//\mathbb{Z}
  \to 
  \mathbf{B}^{n+1} \mathbb{Z}
  )
  \;\;\;
  =
  \;\;\;
  U \Xi
  \left(
     \left[
     \itexarray{
       \vdots
       \\
       \downarrow
       \\
       0
       \\
       \downarrow
       \\
       \mathbb{R}
       \\
       \downarrow
       \\
       \vdots
     }
     \right]
     \;\;\;
     \to
     \;\;\;
     \left[
     \itexarray{
       \vdots
       \\
       \downarrow
       \\
       \mathbb{Z}
       \\
       \downarrow
       \\
       \mathbb{R}
       \\
       \downarrow
       \\
       \vdots
     }
     \right]
     \;\;\;
     \to
     \;\;\;
     \left[
     \itexarray{
       \vdots
       \\
       \downarrow
       \\
       \mathbb{Z}
       \\
       \downarrow
       \\
       0
       \\
       \downarrow
       \\
       \vdots
     }
     \right]
  \right)
  \,.
\end{displaymath}
Written this way the second morphism is evidently a degreewise surjection, hence is a fibration in the [[model structure on chain complexes]]. Therefore this being a fibration sequence is equivalent (as described at [[homotopy pullback]]) to the first morphism being equivalent to the ordinary [[kernel]] of the second, which clearly it is.

From this fiber sequence we obtain long exact sequences in cohomology, for instance in [[singular cohomology]]: let $X$ be a [[topological space]] and for $A$ an abelian group let

\begin{displaymath}
H^n(X,A) := \pi_0 \infty Grpd( \Pi(X), \mathbf{B}^n A)
\end{displaymath}
be its cohomology with coefficients in $A$, computed in [[∞Grpd]] which we may [[presentable (∞,1)-category|present]] by [[sSet]], where the [[fundamental ∞-groupoid]] $\Pi(X)$ is the singular simplicial complex $Sing X$ and we have

\begin{displaymath}
H^n(X,A) = \pi_0 sSet(Sing X, U \Xi A[n])
  \,.
\end{displaymath}
Then, as discussed \href{LongSequCoh}{above}, the fiber sequence of coefficients $\cdots
  \to
  \mathbf{B}^{n-1} \mathbb{R}/\mathbb{Z}
  \to 
  \mathbf{B}^n \mathbb{Z}
  \to 
  \mathbf{B}^n \mathbb{R}
  \to  
  \mathbf{B}^n \mathbb{R}/\mathbb{Z}
  \to 
  \mathbf{B}^{n+1} \mathbb{Z}
  \to 
  \cdots$ yields the long exact sequence in cohomology

\begin{displaymath}
\cdots 
  H^{n-1}(X,\mathbb{R}/\mathbb{Z})
  \to H^n(X,\mathbb{Z}) \to H^n(X,\mathbb{R}) \to 
  H^n(X,\mathbb{R}/\mathbb{Z})
  \to
  H^{n+1}(X,\mathbb{Z})
  \to
  \cdots
  \,.
\end{displaymath}
In applications it often happens that one has a situation where the \emph{real} cohomology is trivial, i.e $H^n(X,\mathbb{R}) = 0$ in some degree $n$. In that case the exactness of the sequence

\begin{displaymath}
\cdots 
  \to H^n(X,\mathbb{Z}) 
  \to 0 \to 
  H^n(X,\mathbb{R}/\mathbb{Z})
  \to
  H^{n+1}(\mathbb{Z})
  \to
  0
  \to
  \cdots
\end{displaymath}
implies that in this case we have an [[isomorphism]]

\begin{displaymath}
H^n(X,\mathbb{R}/\mathbb{Z})
  \stackrel{\simeq}{\to}
  H^{n+1}(\mathbb{Z})
  \,.
\end{displaymath}
\hypertarget{MayerVietoris}{}\subsubsection*{{Mayer-Vietoris sequences}}\label{MayerVietoris}

A \textbf{[[Mayer-Vietoris sequence]]} is a fiber sequence obtained from an $(\infty,1)$-pullback diagram of [[pointed objects]]:

if

\begin{displaymath}
\itexarray{
    A \times_C B &\to& B
    \\
    \downarrow && \downarrow^{\mathrlap{g}}
    \\
    A &\stackrel{f}{\to}& C
  }
\end{displaymath}
is an [[limit in a quasi-category|infinity-pullback]] diagram in $\mathbf{H}$, then it naturally induces a fiber sequence that starts out as

\begin{displaymath}
\Omega C \to A \times_C B \to A \times B
  \,.
\end{displaymath}
This -- or its associated [[long exact sequence of homotopy groups]] -- is called the \emph{[[Mayer-Vietoris sequence]]} of the pullback. See there for details.

\hypertarget{of_a_cover}{}\paragraph*{{Of a cover}}\label{of_a_cover}

The original example of Mayer-Vietoris sequences is obtained from the situtation where a [[homotopy pushout]] diagram

\begin{displaymath}
\itexarray{
    U \cap V &\hookrightarrow& U
    \\
    \downarrow && \downarrow
    \\
    V &\to& X
  }
\end{displaymath}
in $\mathbf{H} =$ [[∞Grpd]]/[[Top]] is given (which modeled in [[sSet]] or in terms of [[CW-complex]]es in [[Top]] may be modeled by an ordinary pushout), and where $A \in \infty Grpd$ is some coefficient group object. Then applying the $(\infty,1)$-categorical hom $\mathbf{H}(-, A) : \mathbf{H}^{op} \to \infty Grpd$ yields the $\infty$-pullback diagram

\begin{displaymath}
\itexarray{
    \mathbf{H}(X, A) &\to& \mathbf{H}(U,A)
    \\
    \downarrow && \downarrow
    \\
    \mathbf{H}(V,A) &\to& \mathbf{H}(U \cap V, A)
  }
  \,.
\end{displaymath}
By the above this is equivalent to

\begin{displaymath}
\mathbf{H}(X,A) \to \mathbf{H}(U,A) \times \mathbf{H}(V,A)
  \to \mathbf{H}(U \cap V, A)
\end{displaymath}
being a fibration sequence. The corresponding long exact sequence in cohomology (as discussed above) is what is traditionally called the Mayer-Vietoris sequence of the cover of $X$ by $U$ and $V$ in $A$-cohomology.

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

\begin{itemize}%
\item [[tower of homotopy fibers]]


\item \href{triangulated+category#LongExactSequences}{triangulated category -- long fiber-cofiber sequences}



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

The observation of [[long exact sequences of homotopy groups]] for homotopy fiber sequences originates (according to \hyperlink{Switzer75}{Switzer 75, p. 35}) in

\begin{itemize}%
\item M. G. Barratt, \emph{Track groups I, II}. Proc. London Math. Soc. 5, 71-106, 285-329 (1955).

\end{itemize}
The first exhaustive study of these is due to

\begin{itemize}%
\item [[Dieter Puppe]], \emph{Homotopiemengen und ihre induzierten Abbildungen I}, Math. Z. 69, 299-344 (1958).

\end{itemize}
whence the terminology \emph{Puppe sequences}.

Classical textbook accounts include

\begin{itemize}%
\item [[Robert Switzer]], around 2.57 of \emph{Algebraic Topology - Homotopy and Homology}, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. 212, Springer-Verlag, New York, N. Y., 1975.


\item [[Stanley Kochmann]], prop. 3.2.6 of \emph{[[Bordism, Stable Homotopy and Adams Spectral Sequences]]}, AMS 1996



\end{itemize}
The construction in the axiomatic homotopy theory of [[model categories]] is due to

\begin{itemize}%
\item [[Daniel Quillen]], chapter I.3 of \emph{Axiomatic homotopy theory} in \emph{Homotopical algebra}, Lecture Notes in Mathematics, No. 43 43, Berlin (1967)

\end{itemize}
and in the context of [[categories of fibrant objects]] due to

\begin{itemize}%
\item [[Kenneth Brown]], section 4 of \emph{[[BrownAHT|Abstract Homotopy Theory and Generalized sheaf Cohomology]]}, 1973 .

\end{itemize}
A discussion of fiber sequences in terms of [[associated ∞-bundles]] is in

\begin{itemize}%
\item [[Matthias Wendt]], \emph{Classifying spaces and fibrations of simplicial sheaves} (\href{http://arxiv.org/abs/1009.2930}{arXiv})

\end{itemize}
Related discussion on the behaviour of [[fiber sequence]]s under left [[Bousfield localization of model categories]] is in

\begin{itemize}%
\item [[Matthias Wendt]], \emph{Fibre sequences and localization of simplicial sheaves}, Alg. Geom. Topol. 13(3), 2013, pp. 1779--1813. (\href{http://home.mathematik.uni-freiburg.de/arithmetische-geometrie/preprints/wendt-flocal.pdf}{preprint pdf} and \href{http://arxiv.org/abs/1011.4784}{ArXiv}.)

\end{itemize}
[[!redirects fiber sequences]]

[[!redirects fibration sequence]] [[!redirects fibration sequences]]

[[!redirects Puppe sequence]] [[!redirects Puppe sequences]]

[[!redirects homotopy fiber]] [[!redirects homotopy fibers]] [[!redirects homotopy fibre]] [[!redirects homotopy fibres]] [[!redirects homotopy kernel]] [[!redirects homotopy kernels]]

[[!redirects homotopy exact sequence]] [[!redirects homotopy exact sequences]]

[[!redirects homotopy fiber sequence]] [[!redirects homotopy fiber sequences]] [[!redirects homotopy fibre sequence]] [[!redirects homotopy fibre sequences]]

[[!redirects (∞,1)-fiber]] [[!redirects (∞,1)-fibers]] [[!redirects (∞,1)-fibre]] [[!redirects (∞,1)-fibres]]

[[!redirects long homotopy fiber sequence]] [[!redirects long homotopy fiber sequences]]



\end{document}