\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*{Higher Topos Theory}

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

\hypertarget{category_theory}{}\paragraph*{{$(\infty,1)$-Category theory}}\label{category_theory}

[[!include quasi-category theory contents]]

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

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

This entry collects links related to the book

\begin{itemize}%
\item [[Jacob Lurie]],

\emph{Higher Topos Theory},

Annals of Mathematics Studies 170,

Princeton University Press 2009

(\href{https://press.princeton.edu/titles/8957.html}{pup:8957}, \href{http://www.math.harvard.edu/~lurie/papers/HTT.pdf}{pdf})



\end{itemize}
which discusses the [[higher category theory]] of [[(∞,1)-categories]] in general and that of [[(infinity,1)-category of (infinity,1)-sheaves|(∞,1)-categories of (∞,1)-sheaves]] (i.e. of [[∞-stack]]s) -- called (Grothendieck-Rezk-Lurie) [[(∞,1)-topos]]es -- in particular.

The book is available online from the arXiv and also from Lurie's web site:

\begin{itemize}%
\item \href{http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf}{PDF of published version} from Lurie's web site
\item \href{http://arxiv.org/abs/math.CT/0608040}{arXiv:math.CT/0608040} -- this has been updated since the publication of the print version, including addition of some new material!
\item \href{http://www.math.harvard.edu/~lurie/papers/HTT.pdf}{updated version from Lurie's web site} -- more recent even than the arXiv version, as of 2019

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

\noindent\hyperlink{contents}{Contents}\dotfill \pageref*{contents} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{summary}{Summary}\dotfill \pageref*{summary} \linebreak
\noindent\hyperlink{general_idea}{General idea}\dotfill \pageref*{general_idea} \linebreak
\noindent\hyperlink{first_part_sections_14}{First part, sections 1-4}\dotfill \pageref*{first_part_sections_14} \linebreak
\noindent\hyperlink{second_part_sections_57}{Second part, sections 5-7}\dotfill \pageref*{second_part_sections_57} \linebreak
\noindent\hyperlink{how_to_read_the_book}{How to read the book}\dotfill \pageref*{how_to_read_the_book} \linebreak
\noindent\hyperlink{1categorical_background}{1-categorical background}\dotfill \pageref*{1categorical_background} \linebreak
\noindent\hyperlink{sections_with_crucial_concepts}{Sections with crucial concepts}\dotfill \pageref*{sections_with_crucial_concepts} \linebreak
\noindent\hyperlink{content}{Content}\dotfill \pageref*{content} \linebreak
\noindent\hyperlink{1_an_overview_of_higher_category_theory}{1 An overview of higher category theory}\dotfill \pageref*{1_an_overview_of_higher_category_theory} \linebreak
\noindent\hyperlink{2_fibrations_of_simplicial_sets}{2 Fibrations of Simplicial Sets}\dotfill \pageref*{2_fibrations_of_simplicial_sets} \linebreak
\noindent\hyperlink{21_left_fibrations}{2.1 Left fibrations}\dotfill \pageref*{21_left_fibrations} \linebreak
\noindent\hyperlink{22_simplicial_categories_and_categories}{2.2 Simplicial categories and $\infty$-categories}\dotfill \pageref*{22_simplicial_categories_and_categories} \linebreak
\noindent\hyperlink{23_inner_fibrations}{2.3 Inner fibrations}\dotfill \pageref*{23_inner_fibrations} \linebreak
\noindent\hyperlink{231_correspondences}{2.3.1 Correspondences}\dotfill \pageref*{231_correspondences} \linebreak
\noindent\hyperlink{232_stability_properties_of_inner_fibrations}{2.3.2 Stability properties of inner fibrations}\dotfill \pageref*{232_stability_properties_of_inner_fibrations} \linebreak
\noindent\hyperlink{233_minimal_fibrations}{2.3.3 Minimal fibrations}\dotfill \pageref*{233_minimal_fibrations} \linebreak
\noindent\hyperlink{234_categories}{2.3.4 $n$-Categories}\dotfill \pageref*{234_categories} \linebreak
\noindent\hyperlink{24_cartesian_fibrations}{2.4 Cartesian fibrations}\dotfill \pageref*{24_cartesian_fibrations} \linebreak
\noindent\hyperlink{241_cartesian_morphisms}{2.4.1 Cartesian morphisms}\dotfill \pageref*{241_cartesian_morphisms} \linebreak
\noindent\hyperlink{242_cartesian_fibrations}{2.4.2 Cartesian fibrations}\dotfill \pageref*{242_cartesian_fibrations} \linebreak
\noindent\hyperlink{243_stability_properties_of_cartesian_fibrations}{2.4.3 Stability properties of Cartesian fibrations}\dotfill \pageref*{243_stability_properties_of_cartesian_fibrations} \linebreak
\noindent\hyperlink{244_mapping_spaces_and_cartesian_fibrations}{2.4.4 Mapping spaces and Cartesian fibrations}\dotfill \pageref*{244_mapping_spaces_and_cartesian_fibrations} \linebreak
\noindent\hyperlink{245_application_invariance_of_undercategories}{2.4.5 Application: Invariance of Undercategories}\dotfill \pageref*{245_application_invariance_of_undercategories} \linebreak
\noindent\hyperlink{246_application_categorical_fibrations_over_a_point}{2.4.6 Application: Categorical fibrations over a point}\dotfill \pageref*{246_application_categorical_fibrations_over_a_point} \linebreak
\noindent\hyperlink{247_bifibrations}{2.4.7 Bifibrations}\dotfill \pageref*{247_bifibrations} \linebreak
\noindent\hyperlink{3_the_category_of_categories}{3 The $\infty$-Category of $\infty$-Categories}\dotfill \pageref*{3_the_category_of_categories} \linebreak
\noindent\hyperlink{Limits}{4 Limits and Colimits}\dotfill \pageref*{Limits} \linebreak
\noindent\hyperlink{41_cofinality}{4.1 Cofinality}\dotfill \pageref*{41_cofinality} \linebreak
\noindent\hyperlink{42_techniques_for_computing_colimits}{4.2 Techniques for computing colimits}\dotfill \pageref*{42_techniques_for_computing_colimits} \linebreak
\noindent\hyperlink{43_kan_extensions}{4.3 Kan extensions}\dotfill \pageref*{43_kan_extensions} \linebreak
\noindent\hyperlink{431_relative_colimits}{4.3.1 Relative colimits}\dotfill \pageref*{431_relative_colimits} \linebreak
\noindent\hyperlink{44_examples_of_colimits}{4.4 Examples of colimits}\dotfill \pageref*{44_examples_of_colimits} \linebreak
\noindent\hyperlink{5_presentable_and_accessible_categories}{5 Presentable and Accessible $\infty$-Categories}\dotfill \pageref*{5_presentable_and_accessible_categories} \linebreak
\noindent\hyperlink{51_categories_of_presheaves}{5.1 $(\infty,1)$-Categories of presheaves}\dotfill \pageref*{51_categories_of_presheaves} \linebreak
\noindent\hyperlink{52_adjoint_functors}{5.2 Adjoint $(\infty,1)$-functors}\dotfill \pageref*{52_adjoint_functors} \linebreak
\noindent\hyperlink{528_factorization_systems}{5.2.8 Factorization systems}\dotfill \pageref*{528_factorization_systems} \linebreak
\noindent\hyperlink{53_categories_of_inductive_limits}{5.3 $(\infty,1)$-Categories of inductive limits}\dotfill \pageref*{53_categories_of_inductive_limits} \linebreak
\noindent\hyperlink{531_filtered_categories}{5.3.1 Filtered $\infty$-categories}\dotfill \pageref*{531_filtered_categories} \linebreak
\noindent\hyperlink{532_right_exactness}{5.3.2 Right exactness}\dotfill \pageref*{532_right_exactness} \linebreak
\noindent\hyperlink{533_filtered_colimits}{5.3.3 Filtered colimits}\dotfill \pageref*{533_filtered_colimits} \linebreak
\noindent\hyperlink{534_compact_objects}{5.3.4 Compact objects}\dotfill \pageref*{534_compact_objects} \linebreak
\noindent\hyperlink{535_indobjects}{5.3.5 Ind-objects}\dotfill \pageref*{535_indobjects} \linebreak
\noindent\hyperlink{536_adjoining_colimits_to_categories}{5.3.6 Adjoining colimits to $\infty$-categories}\dotfill \pageref*{536_adjoining_colimits_to_categories} \linebreak
\noindent\hyperlink{54_accessible_categories}{5.4 Accessible $(\infty,1)$-categories}\dotfill \pageref*{54_accessible_categories} \linebreak
\noindent\hyperlink{541_locally_small_categories}{5.4.1 Locally small $\infty$-categories}\dotfill \pageref*{541_locally_small_categories} \linebreak
\noindent\hyperlink{542_accessible_categories}{5.4.2 Accessible $(\infty,1)$-categories}\dotfill \pageref*{542_accessible_categories} \linebreak
\noindent\hyperlink{543_accessible_and_idempotentcomplete_categories}{5.4.3 Accessible and idempotent-complete $(\infty,1)$-categories}\dotfill \pageref*{543_accessible_and_idempotentcomplete_categories} \linebreak
\noindent\hyperlink{55_presentable_categories}{5.5 Presentable $(\infty,1)$-categories}\dotfill \pageref*{55_presentable_categories} \linebreak
\noindent\hyperlink{551_presentability}{5.5.1 Presentability}\dotfill \pageref*{551_presentability} \linebreak
\noindent\hyperlink{552_representable_functors_and_the_adjoint_functor_theorem}{5.5.2 Representable functors and the adjoint functor theorem}\dotfill \pageref*{552_representable_functors_and_the_adjoint_functor_theorem} \linebreak
\noindent\hyperlink{553_limits_and_colimits_of_presentable_categories}{5.5.3 Limits and colimits of presentable $\infty$-categories}\dotfill \pageref*{553_limits_and_colimits_of_presentable_categories} \linebreak
\noindent\hyperlink{554_local_objects}{5.5.4 Local objects}\dotfill \pageref*{554_local_objects} \linebreak
\noindent\hyperlink{555_factorization_systems_on_presentable_categories}{5.5.5 Factorization systems on presentable $\infty$-categories}\dotfill \pageref*{555_factorization_systems_on_presentable_categories} \linebreak
\noindent\hyperlink{556_truncated_objects}{5.5.6 Truncated objects}\dotfill \pageref*{556_truncated_objects} \linebreak
\noindent\hyperlink{557_compactly_generated_categories}{5.5.7 Compactly generated $\infty$-categories}\dotfill \pageref*{557_compactly_generated_categories} \linebreak
\noindent\hyperlink{558_nonabelian_derived_categories}{5.5.8 Nonabelian Derived Categories}\dotfill \pageref*{558_nonabelian_derived_categories} \linebreak
\noindent\hyperlink{559_quillens_model_for_}{5.5.9 Quillen's model for $\mathcal{P}_\Sigma(C)$}\dotfill \pageref*{559_quillens_model_for_} \linebreak
\noindent\hyperlink{6_topoi}{6 $\infty$-Topoi}\dotfill \pageref*{6_topoi} \linebreak
\noindent\hyperlink{61_definitions_and_characterizations}{6.1 Definitions and characterizations}\dotfill \pageref*{61_definitions_and_characterizations} \linebreak
\noindent\hyperlink{611_girauds_axioms_in_the_categorical_setting}{6.1.1 Giraud's Axioms in the $\infty$-Categorical setting}\dotfill \pageref*{611_girauds_axioms_in_the_categorical_setting} \linebreak
\noindent\hyperlink{612_groupoid_objects}{6.1.2 Groupoid objects}\dotfill \pageref*{612_groupoid_objects} \linebreak
\noindent\hyperlink{613_topoi_and_descent}{6.1.3 $\infty$-Topoi and descent}\dotfill \pageref*{613_topoi_and_descent} \linebreak
\noindent\hyperlink{614_free_groupoids}{6.1.4 Free Groupoids}\dotfill \pageref*{614_free_groupoids} \linebreak
\noindent\hyperlink{615_girauds_theorem_for_topoi}{6.1.5 Giraud's theorem for $\infty$-Topoi}\dotfill \pageref*{615_girauds_theorem_for_topoi} \linebreak
\noindent\hyperlink{ClassifyingObjects}{6.1.6 $\infty$-Topoi and classifying objects}\dotfill \pageref*{ClassifyingObjects} \linebreak
\noindent\hyperlink{62_constructions_of_toposes}{6.2 Constructions of $(\infty,1)$-toposes}\dotfill \pageref*{62_constructions_of_toposes} \linebreak
\noindent\hyperlink{621_left_exact_localization}{6.2.1 Left exact localization}\dotfill \pageref*{621_left_exact_localization} \linebreak
\noindent\hyperlink{622_grothendieck_topologies_and_sheaves_in_higher_category_theory}{6.2.2 Grothendieck topologies and sheaves in higher category theory}\dotfill \pageref*{622_grothendieck_topologies_and_sheaves_in_higher_category_theory} \linebreak
\noindent\hyperlink{623_effective_epimorphisms}{6.2.3 Effective epimorphisms}\dotfill \pageref*{623_effective_epimorphisms} \linebreak
\noindent\hyperlink{63_the_category_of_topoi}{6.3 The $\infty$-Category of $\infty$-Topoi}\dotfill \pageref*{63_the_category_of_topoi} \linebreak
\noindent\hyperlink{631_geometric_morphisms}{6.3.1 Geometric morphisms}\dotfill \pageref*{631_geometric_morphisms} \linebreak
\noindent\hyperlink{632_colimits_of_topoi}{6.3.2 Colimits of $\infty$-topoi}\dotfill \pageref*{632_colimits_of_topoi} \linebreak
\noindent\hyperlink{633_filtered_limits_of_topoi}{6.3.3 Filtered limits of $\infty$-topoi}\dotfill \pageref*{633_filtered_limits_of_topoi} \linebreak
\noindent\hyperlink{634_general_limits_of_topoi}{6.3.4 General limits of $\infty$-topoi}\dotfill \pageref*{634_general_limits_of_topoi} \linebreak
\noindent\hyperlink{635_etale_morphisms_of_topoi}{6.3.5 Etale Morphisms of $\infty$-topoi}\dotfill \pageref*{635_etale_morphisms_of_topoi} \linebreak
\noindent\hyperlink{64_topoi}{6.4 $n$-Topoi}\dotfill \pageref*{64_topoi} \linebreak
\noindent\hyperlink{65_homotopy_theory_in_an_topos}{6.5 Homotopy theory in an $(\infty,1)$-topos}\dotfill \pageref*{65_homotopy_theory_in_an_topos} \linebreak
\noindent\hyperlink{651_homotopy_groups}{6.5.1 Homotopy groups}\dotfill \pageref*{651_homotopy_groups} \linebreak
\noindent\hyperlink{652_connectedness}{6.5.2 $\infty$-Connectedness}\dotfill \pageref*{652_connectedness} \linebreak
\noindent\hyperlink{653_hypercovering}{6.5.3 Hypercovering}\dotfill \pageref*{653_hypercovering} \linebreak
\noindent\hyperlink{654_descent_versus_hyperdescent}{6.5.4 Descent versus Hyperdescent}\dotfill \pageref*{654_descent_versus_hyperdescent} \linebreak
\noindent\hyperlink{7_higher_topos_theory_in_topology}{7 Higher Topos Theory in Topology}\dotfill \pageref*{7_higher_topos_theory_in_topology} \linebreak
\noindent\hyperlink{71_paracompact_spaces}{7.1 Paracompact spaces}\dotfill \pageref*{71_paracompact_spaces} \linebreak
\noindent\hyperlink{72_dimension_theory}{7.2 Dimension theory}\dotfill \pageref*{72_dimension_theory} \linebreak
\noindent\hyperlink{appendix}{Appendix}\dotfill \pageref*{appendix} \linebreak
\noindent\hyperlink{a1_category_theory}{A.1 Category theory}\dotfill \pageref*{a1_category_theory} \linebreak
\noindent\hyperlink{ModelCategories}{A.2 Model categories}\dotfill \pageref*{ModelCategories} \linebreak
\noindent\hyperlink{a3_simplicial_categories}{A.3 Simplicial categories}\dotfill \pageref*{a3_simplicial_categories} \linebreak
\noindent\hyperlink{a31_enriched_and_monoidal_model_categoires}{A.3.1 Enriched and monoidal model categoires}\dotfill \pageref*{a31_enriched_and_monoidal_model_categoires} \linebreak
\noindent\hyperlink{a32_the_model_structure_on_enriched_categories}{A.3.2 The model structure on $\mathbf{S}$-enriched categories}\dotfill \pageref*{a32_the_model_structure_on_enriched_categories} \linebreak
\noindent\hyperlink{a33_model_structures_on_diagram_categories}{A.3.3 Model structures on diagram categories}\dotfill \pageref*{a33_model_structures_on_diagram_categories} \linebreak
\noindent\hyperlink{a34_path_spaces_in_enriched_categories}{A.3.4 Path spaces in $\mathbf{S}$-enriched categories}\dotfill \pageref*{a34_path_spaces_in_enriched_categories} \linebreak
\noindent\hyperlink{a35_homotopy_colimits_of_enriched_categories}{A.3.5 Homotopy colimits of $\mathbf{S}$-enriched categories}\dotfill \pageref*{a35_homotopy_colimits_of_enriched_categories} \linebreak
\noindent\hyperlink{a35_exponentiation_in_model_categories}{A.3.5 Exponentiation in model categories}\dotfill \pageref*{a35_exponentiation_in_model_categories} \linebreak
\noindent\hyperlink{a37_localizations_of_simplicial_model_categories}{A.3.7 Localizations of simplicial model categories}\dotfill \pageref*{a37_localizations_of_simplicial_model_categories} \linebreak


\hypertarget{related_entries}{}\section*{{Related entries}}\label{related_entries}

For general information on higher category and higher topos theory see also

\begin{itemize}%
\item [[higher category theory]]


\item [[higher topos theory]].



\end{itemize}
If you need basics, see

\begin{itemize}%
\item [[category theory]]


\item [[sheaf and topos theory]].



\end{itemize}
If you need more motivation see

\begin{itemize}%
\item [[motivation for sheaves, cohomology and higher stacks]].

\end{itemize}
If you need to see applications see for instance

\begin{itemize}%
\item [[cohomology]]


\item [[structured (∞,1)-topos]]


\item [[A Survey of Elliptic Cohomology]]



\end{itemize}
\hypertarget{summary}{}\section*{{Summary}}\label{summary}

\hypertarget{general_idea}{}\subsection*{{General idea}}\label{general_idea}

Recall the following familiar 1-categorical statement:

\begin{itemize}%
\item Working in the 1-[[category]] [[Set]] of [[0-category|0-categories]] is the same as doing [[set theory]]. The point of [[Categories and Sheaves|categories and sheaves]] is to pass to \emph{parameterized} [[0-category|0-categories]], namely [[presheaf]] categories: these [[topos|topoi]] behave much like the category [[Set]] but their objects are generalized [[space and quantity|spaces]] that may carry more structure, for instance they may be [[generalized smooth space]]s if one considers (pre)[[sheaf|sheaves]] on [[Diff]].

\end{itemize}
One can think of Lurie's book as a comprehensive study of the generalization of the above statement from $1$ to $(\infty,1)$ (recall the notion of [[(n,r)-category]]):

\begin{itemize}%
\item Working in the $(\infty,1)$-[[category]] [[∞Grpd]] of [[infinity-groupoid|(∞,0)-categories]] is the same as doing [[topology]]. The point of [[∞-stacks]] is to pass to \emph{parameterized} [[infinity-groupoid|(∞,0)-categories]], namely [[(∞,1)-presheaf]] categories: these [[(infinity,1)-topos|(∞,1)-topoi]] behave much like the $(\infty,1)$category [[∞Grpd]] but their objects are generalized [[space and quantity|spaces]] with higher [[homotopy|homotopies]] that may carry more structure, for instance they may be $\infty$-[[differentiable stack]]s if one considers [[∞-stacks]] on [[Diff]].

\end{itemize}
\hypertarget{first_part_sections_14}{}\subsection*{{First part, sections 1-4}}\label{first_part_sections_14}

Based on work by Andr\'e{} Joyal on the [[quasi-category]] model for [[(∞,1)-categories]], Lurie presents a comprehensive account of the theory of [[(∞,1)-categories]] including the definitions and properties of all the standard items familiar from category theory (limits, fibrations, etc.)

\hypertarget{second_part_sections_57}{}\subsection*{{Second part, sections 5-7}}\label{second_part_sections_57}

Given the $(\infty,1)$-categorical machinery from the first part there are natural $(\infty,1)$-categorical versions of $(\infty,1)$-[[presheaf]] and $(\infty,1)$-[[sheaf]] categories (i.e. $(\infty,1)$-categories of [[∞-stacks]]): the ``$\infty$-topoi'' that give the book its title (more descriptively, these would be called ``Grothendieck $(\infty,1)$-topoi''). Lurie investigates their properties in great detail and thereby in particular puts the work by Brown, Joyal, Jardine, To\"e{}n on the [[model structure on simplicial presheaves]] into a coherent $(\infty,1)$-categorical context by showing that, indeed, these are [[models for ∞-stack (∞,1)-toposes]].

\hypertarget{how_to_read_the_book}{}\section*{{How to read the book}}\label{how_to_read_the_book}

\hypertarget{1categorical_background}{}\subsection*{{1-categorical background}}\label{1categorical_background}

The book \emph{Higher topos theory} together with Lurie's work on [[Stable ∞-Categories]] is close to an $(\infty,1)$-categorical analog of the 1-categorical material as presented for instance in

\begin{itemize}%
\item Kashiwara and Shapira, [[Categories and Sheaves]].

\end{itemize}
\hypertarget{sections_with_crucial_concepts}{}\subsection*{{Sections with crucial concepts}}\label{sections_with_crucial_concepts}

The book discusses crucial concepts and works out plenty of detailed properties. On first reading it may be helpful to skip over all the technical parts and pick out just the central conceptual ideas. These are the following:

\begin{itemize}%
\item \href{http://arxiv.org/PS_cache/math/pdf/0608/0608040v4.pdf#page=13}{section 1.1} : the concept of [[(∞,1)-category]]


\item \href{http://arxiv.org/PS_cache/math/pdf/0608/0608040v4.pdf#page=256}{section 5.1}: the concept of [[(∞,1)-presheaves]]


\item \href{http://arxiv.org/PS_cache/math/pdf/0608/0608040v4.pdf#page=426}{section 6.1}: the concept of [[(infinity,1)-topos|(∞,1)-topoi]]


\item \href{http://arxiv.org/PS_cache/math/pdf/0608/0608040v4.pdf#page=459}{section 6.2} \href{http://arxiv.org/PS_cache/math/pdf/0608/0608040v4.pdf#page=521}{section 6.5} and : relation to the Brown-Joyal-Jardine-To\"e{}n theory of [[models for ∞-stack (∞,1)-toposes]] in terms of the [[model structure on simplicial presheaves]].



\end{itemize}
\hypertarget{content}{}\section*{{Content}}\label{content}

\hypertarget{1_an_overview_of_higher_category_theory}{}\subsection*{{1 An overview of higher category theory}}\label{1_an_overview_of_higher_category_theory}

\begin{itemize}%
\item [[higher category theory]]

\begin{itemize}%
\item [[∞-category]]


\item [[(n,r)-category]]


\item [[(∞,0)-category]]

\begin{itemize}%
\item [[∞-groupoid]]


\item [[Kan complex]]


\item [[topological space]]



\end{itemize}

\item [[(∞,1)-category]]

\begin{itemize}%
\item [[quasi-category]]

\begin{itemize}%
\item [[equivalence of quasi-categories]]

\end{itemize}

\item [[simplicially enriched category]]

\begin{itemize}%
\item [[homotopy coherent nerve]]

\end{itemize}

\item [[relation between quasi-categories and simplicial categories]]


\item [[complete Segal space]]


\item [[Segal category]]



\end{itemize}

\item [[(∞,n)-category]]



\end{itemize}

\item constructions in quasi-categories

\begin{itemize}%
\item [[homotopy category of an (∞,1)-category]]


\item [[join of quasi-categories]]

\begin{itemize}%
\item [[join of simplicial sets]]

\end{itemize}

\item [[over quasi-category]]


\item [[terminal object in a quasi-category]]


\item [[limit in quasi-categories]]


\item [[sub-quasi-category]]


\item [[opposite (∞,1)-category]]/[[opposite quasi-category]]



\end{itemize}

\item [[(∞,1)-functor]]

\begin{itemize}%
\item [[full and faithful (∞,1)-functor]]


\item [[(∞,1)-presheaf]]


\item [[(∞,1)-category of (∞,1)-functors]]



\end{itemize}

\item [[adjoint functor|adjoint (∞,1)-functor]]



\end{itemize}
\hypertarget{2_fibrations_of_simplicial_sets}{}\subsection*{{2 Fibrations of Simplicial Sets}}\label{2_fibrations_of_simplicial_sets}

\begin{itemize}%
\item [[model structure for quasi-categories]]


\item [[fibrations of quasi-categories]]

\begin{itemize}%
\item [[Kan fibration]]


\item [[inner Kan fibration]]


\item [[left Kan fibration]]


\item [[right Kan fibration]]


\item [[Cartesian fibration]]

\begin{itemize}%
\item [[Cartesian morphism]]

\end{itemize}

\item [[anodyne morphism]]



\end{itemize}


\end{itemize}
\hypertarget{21_left_fibrations}{}\subsubsection*{{2.1 Left fibrations}}\label{21_left_fibrations}

\begin{itemize}%
\item [[left fibration]]


\item [[model structure for left fibrations]]



\end{itemize}
\hypertarget{22_simplicial_categories_and_categories}{}\subsubsection*{{2.2 Simplicial categories and $\infty$-categories}}\label{22_simplicial_categories_and_categories}

\begin{itemize}%
\item [[relation between quasi-categories and simplicial categories]]


\item [[model structure for quasi-categories]]



\end{itemize}
\hypertarget{23_inner_fibrations}{}\subsubsection*{{2.3 Inner fibrations}}\label{23_inner_fibrations}

\begin{itemize}%
\item [[inner fibration]]

\end{itemize}
\hypertarget{231_correspondences}{}\paragraph*{{2.3.1 Correspondences}}\label{231_correspondences}

\begin{itemize}%
\item [[correspondence]]


\item [[graph of a functor]], [[cograph of a functor]]



\end{itemize}
\hypertarget{232_stability_properties_of_inner_fibrations}{}\paragraph*{{2.3.2 Stability properties of inner fibrations}}\label{232_stability_properties_of_inner_fibrations}

(\ldots{})

\hypertarget{233_minimal_fibrations}{}\paragraph*{{2.3.3 Minimal fibrations}}\label{233_minimal_fibrations}

\begin{itemize}%
\item [[minimal inner fibration]]

\end{itemize}
\hypertarget{234_categories}{}\paragraph*{{2.3.4 $n$-Categories}}\label{234_categories}

\begin{itemize}%
\item [[(n,1)-category]]


\item [[coskeleton]]



\end{itemize}
\hypertarget{24_cartesian_fibrations}{}\subsubsection*{{2.4 Cartesian fibrations}}\label{24_cartesian_fibrations}

\hypertarget{241_cartesian_morphisms}{}\paragraph*{{2.4.1 Cartesian morphisms}}\label{241_cartesian_morphisms}

\begin{itemize}%
\item [[Cartesian morphism]]

\end{itemize}
\hypertarget{242_cartesian_fibrations}{}\paragraph*{{2.4.2 Cartesian fibrations}}\label{242_cartesian_fibrations}

\begin{itemize}%
\item [[Cartesian fibration]]


\item [[model structure on marked simplicial over-sets]]


\item [[(∞,1)-Grothendieck construction]]



\end{itemize}
\hypertarget{243_stability_properties_of_cartesian_fibrations}{}\paragraph*{{2.4.3 Stability properties of Cartesian fibrations}}\label{243_stability_properties_of_cartesian_fibrations}

\hypertarget{244_mapping_spaces_and_cartesian_fibrations}{}\paragraph*{{2.4.4 Mapping spaces and Cartesian fibrations}}\label{244_mapping_spaces_and_cartesian_fibrations}

\hypertarget{245_application_invariance_of_undercategories}{}\paragraph*{{2.4.5 Application: Invariance of Undercategories}}\label{245_application_invariance_of_undercategories}

\hypertarget{246_application_categorical_fibrations_over_a_point}{}\paragraph*{{2.4.6 Application: Categorical fibrations over a point}}\label{246_application_categorical_fibrations_over_a_point}

\hypertarget{247_bifibrations}{}\paragraph*{{2.4.7 Bifibrations}}\label{247_bifibrations}

\begin{itemize}%
\item [[codomain fibration]]

\end{itemize}
\hypertarget{3_the_category_of_categories}{}\subsection*{{3 The $\infty$-Category of $\infty$-Categories}}\label{3_the_category_of_categories}

\begin{itemize}%
\item the [[(∞,2)-category]] [[(∞,1)Cat]]


\item the [[(∞,1)-category of (∞,1)-categories]]


\item [[(∞,1)-Grothendieck construction]]

\begin{itemize}%
\item [[cartesian fibration]]

\begin{itemize}%
\item [[cartesian morphism]]

\end{itemize}

\item [[model structure on marked simplicial over-sets]]

\begin{itemize}%
\item [[marked simplicial set]]

\end{itemize}

\item [[universal fibration of (∞,1)-categories]]



\end{itemize}

\item [[limit in a quasi-category|limits of (∞,1)-categories]]



\end{itemize}
\hypertarget{Limits}{}\subsection*{{4 Limits and Colimits}}\label{Limits}

\begin{itemize}%
\item [[limit in quasi-categories]]

\begin{itemize}%
\item [[fibration sequence]]

\end{itemize}

\item [[idempotent]]

\begin{itemize}%
\item [[split idempotent]]


\item [[Karoubi envelope]]



\end{itemize}


\end{itemize}
\hypertarget{41_cofinality}{}\subsubsection*{{4.1 Cofinality}}\label{41_cofinality}

\begin{itemize}%
\item [[cofinal (∞,1)-functor]]

\end{itemize}
\hypertarget{42_techniques_for_computing_colimits}{}\subsubsection*{{4.2 Techniques for computing colimits}}\label{42_techniques_for_computing_colimits}

\begin{itemize}%
\item [[homotopy limit]]

\end{itemize}
\hypertarget{43_kan_extensions}{}\subsubsection*{{4.3 Kan extensions}}\label{43_kan_extensions}

\hypertarget{431_relative_colimits}{}\paragraph*{{4.3.1 Relative colimits}}\label{431_relative_colimits}

\begin{itemize}%
\item [[relative (infinity,1)-colimit]]

\end{itemize}
\ldots{}

\hypertarget{44_examples_of_colimits}{}\subsubsection*{{4.4 Examples of colimits}}\label{44_examples_of_colimits}

\ldots{}

\hypertarget{5_presentable_and_accessible_categories}{}\subsection*{{5 Presentable and Accessible $\infty$-Categories}}\label{5_presentable_and_accessible_categories}

\hypertarget{51_categories_of_presheaves}{}\subsubsection*{{5.1 $(\infty,1)$-Categories of presheaves}}\label{51_categories_of_presheaves}

\begin{itemize}%
\item [[(∞,1)-category of (∞,1)-presheaves]]


\item [[Yoneda lemma for (∞,1)-categories]]



\end{itemize}
\hypertarget{52_adjoint_functors}{}\subsubsection*{{5.2 Adjoint $(\infty,1)$-functors}}\label{52_adjoint_functors}

\begin{itemize}%
\item [[adjoint (∞,1)-functor]]

\begin{itemize}%
\item [[graph of a functor]]


\item [[cograph of a functor]]


\item [[adjoint functor theorem]]


\item [[Quillen adjunction]] / [[derived functor]]



\end{itemize}


\end{itemize}
\hypertarget{528_factorization_systems}{}\paragraph*{{5.2.8 Factorization systems}}\label{528_factorization_systems}

\begin{itemize}%
\item [[orthogonal factorization system in an (∞,1)-category]]

\end{itemize}
\hypertarget{53_categories_of_inductive_limits}{}\subsubsection*{{5.3 $(\infty,1)$-Categories of inductive limits}}\label{53_categories_of_inductive_limits}

\hypertarget{531_filtered_categories}{}\paragraph*{{5.3.1 Filtered $\infty$-categories}}\label{531_filtered_categories}

\begin{itemize}%
\item [[cardinal number]]


\item [[filtered (∞,1)-category]]



\end{itemize}
\hypertarget{532_right_exactness}{}\paragraph*{{5.3.2 Right exactness}}\label{532_right_exactness}

\begin{itemize}%
\item [[exact (∞,1)-functor]]

\end{itemize}
\hypertarget{533_filtered_colimits}{}\paragraph*{{5.3.3 Filtered colimits}}\label{533_filtered_colimits}

\hypertarget{534_compact_objects}{}\paragraph*{{5.3.4 Compact objects}}\label{534_compact_objects}

\begin{itemize}%
\item [[compact object in an (∞,1)-category]]

\end{itemize}
\hypertarget{535_indobjects}{}\paragraph*{{5.3.5 Ind-objects}}\label{535_indobjects}

\begin{itemize}%
\item [[ind-object in an (∞,1)-category]]


\item [[pro-object in an (∞,1)-category]]



\end{itemize}
\hypertarget{536_adjoining_colimits_to_categories}{}\paragraph*{{5.3.6 Adjoining colimits to $\infty$-categories}}\label{536_adjoining_colimits_to_categories}

\hypertarget{54_accessible_categories}{}\subsubsection*{{5.4 Accessible $(\infty,1)$-categories}}\label{54_accessible_categories}

\hypertarget{541_locally_small_categories}{}\paragraph*{{5.4.1 Locally small $\infty$-categories}}\label{541_locally_small_categories}

\begin{itemize}%
\item [[essentially small (∞,1)-category]]


\item [[locally small (∞,1)-category]]



\end{itemize}
\hypertarget{542_accessible_categories}{}\paragraph*{{5.4.2 Accessible $(\infty,1)$-categories}}\label{542_accessible_categories}

\begin{itemize}%
\item [[accessible (∞,1)-category]]


\item [[accessible (∞,1)-functor]]



\end{itemize}
\hypertarget{543_accessible_and_idempotentcomplete_categories}{}\paragraph*{{5.4.3 Accessible and idempotent-complete $(\infty,1)$-categories}}\label{543_accessible_and_idempotentcomplete_categories}

\begin{itemize}%
\item [[idempotent-complete (∞,1)-category]]

\end{itemize}
\hypertarget{55_presentable_categories}{}\subsubsection*{{5.5 Presentable $(\infty,1)$-categories}}\label{55_presentable_categories}

\hypertarget{551_presentability}{}\paragraph*{{5.5.1 Presentability}}\label{551_presentability}

\begin{itemize}%
\item [[locally presentable (∞,1)-category]]

\end{itemize}
\hypertarget{552_representable_functors_and_the_adjoint_functor_theorem}{}\paragraph*{{5.5.2 Representable functors and the adjoint functor theorem}}\label{552_representable_functors_and_the_adjoint_functor_theorem}

\begin{itemize}%
\item [[adjoint (∞,1)-functor theorem]]

\end{itemize}
\hypertarget{553_limits_and_colimits_of_presentable_categories}{}\paragraph*{{5.5.3 Limits and colimits of presentable $\infty$-categories}}\label{553_limits_and_colimits_of_presentable_categories}

\begin{itemize}%
\item [[symmetric monoidal (∞,1)-category of presentable (∞,1)-categories]]

\end{itemize}
\hypertarget{554_local_objects}{}\paragraph*{{5.5.4 Local objects}}\label{554_local_objects}

\begin{itemize}%
\item [[localization of an (∞,1)-category]]

\begin{itemize}%
\item [[reflective sub-(∞,1)-category]]


\item [[local object]]


\item [[local equivalence]]



\end{itemize}


\end{itemize}
\hypertarget{555_factorization_systems_on_presentable_categories}{}\paragraph*{{5.5.5 Factorization systems on presentable $\infty$-categories}}\label{555_factorization_systems_on_presentable_categories}

\hypertarget{556_truncated_objects}{}\paragraph*{{5.5.6 Truncated objects}}\label{556_truncated_objects}

\begin{itemize}%
\item [[n-truncated object of an (∞,1)-category]]

\begin{itemize}%
\item [[monomorphism in an (∞,1)-category]]


\item [[subobject in an (∞,1)-category]]



\end{itemize}

\item [[Postnikov tower in an (∞,1)-category]]



\end{itemize}
\hypertarget{557_compactly_generated_categories}{}\paragraph*{{5.5.7 Compactly generated $\infty$-categories}}\label{557_compactly_generated_categories}

\begin{itemize}%
\item [[compactly generated (∞,1)-category]]

\end{itemize}
\hypertarget{558_nonabelian_derived_categories}{}\paragraph*{{5.5.8 Nonabelian Derived Categories}}\label{558_nonabelian_derived_categories}

\begin{itemize}%
\item [[sifted (∞,1)-category]]


\item [[(∞,1)-algebraic theory]]



\end{itemize}
\hypertarget{559_quillens_model_for_}{}\paragraph*{{5.5.9 Quillen's model for $\mathcal{P}_\Sigma(C)$}}\label{559_quillens_model_for_}

\begin{itemize}%
\item [[(∞,1)-algebraic theory|model structure for (∞,1)-algebras over (∞,1,)-algebraic theories]]

\end{itemize}
\hypertarget{6_topoi}{}\subsection*{{6 $\infty$-Topoi}}\label{6_topoi}

\hypertarget{61_definitions_and_characterizations}{}\subsubsection*{{6.1 Definitions and characterizations}}\label{61_definitions_and_characterizations}

\hypertarget{611_girauds_axioms_in_the_categorical_setting}{}\paragraph*{{6.1.1 Giraud's Axioms in the $\infty$-Categorical setting}}\label{611_girauds_axioms_in_the_categorical_setting}

\begin{itemize}%
\item [[∞-topos]]

\begin{itemize}%
\item [[(∞,1)-topos]]

\end{itemize}

\item [[Giraud's axioms]]

\begin{itemize}%
\item [[groupoid object in an (∞,1)-category]]


\item [[universal colimits]]



\end{itemize}

\item [[object classifier]]



\end{itemize}
\hypertarget{612_groupoid_objects}{}\paragraph*{{6.1.2 Groupoid objects}}\label{612_groupoid_objects}

\begin{itemize}%
\item [[simplicial object in an (∞,1)-category]]


\item [[groupoid object in an (∞,1)-category]]

\begin{itemize}%
\item [[?ech nerve]]


\item [[effective epimorphism]]


\item [[simplicial resolution]]


\item [[delooping]]

\begin{itemize}%
\item [[quotient object]]

\end{itemize}


\end{itemize}


\end{itemize}
\hypertarget{613_topoi_and_descent}{}\paragraph*{{6.1.3 $\infty$-Topoi and descent}}\label{613_topoi_and_descent}

\begin{itemize}%
\item [[descent]]


\item [[(∞,2)-sheaf]]



\end{itemize}
\hypertarget{614_free_groupoids}{}\paragraph*{{6.1.4 Free Groupoids}}\label{614_free_groupoids}

(\ldots{})

\hypertarget{615_girauds_theorem_for_topoi}{}\paragraph*{{6.1.5 Giraud's theorem for $\infty$-Topoi}}\label{615_girauds_theorem_for_topoi}

\begin{itemize}%
\item [[Giraud's theorem]]

\end{itemize}
\hypertarget{ClassifyingObjects}{}\paragraph*{{6.1.6 $\infty$-Topoi and classifying objects}}\label{ClassifyingObjects}

\begin{itemize}%
\item [[object classifier in an (infinity,1)-topos]]

\end{itemize}
\hypertarget{62_constructions_of_toposes}{}\subsubsection*{{6.2 Constructions of $(\infty,1)$-toposes}}\label{62_constructions_of_toposes}

\hypertarget{621_left_exact_localization}{}\paragraph*{{6.2.1 Left exact localization}}\label{621_left_exact_localization}

\begin{itemize}%
\item [[exact functor]]


\item [[reflective sub-(∞,1)-category|exact reflective sub-(∞,1)-category]]



\end{itemize}
\hypertarget{622_grothendieck_topologies_and_sheaves_in_higher_category_theory}{}\paragraph*{{6.2.2 Grothendieck topologies and sheaves in higher category theory}}\label{622_grothendieck_topologies_and_sheaves_in_higher_category_theory}

\begin{itemize}%
\item [[(∞,1)-category of (∞,1)-sheaves]]

\begin{itemize}%
\item [[(∞,1)-site]]


\item [[(∞,1)-sheaf]]


\item [[topological localization]]


\item [[hypercompletion]]


\item [[local object]]


\item [[descent]]


\item [[sheaf]]


\item [[stack]]


\item [[∞-stack]]


\item [[derived stack]]


\item [[∞-stackification]]



\end{itemize}

\item [[models for ∞-stack (∞,1)-toposes]]


\item [[model structure on simplicial presheaves]]

\begin{itemize}%
\item [[simplicial presheaf]]


\item [[global model structure on simplicial presheaves]]


\item [[local model structure on simplicial presheaves]]


\item [[local model structure on simplicial sheaves]]


\item [[descent for simplicial presheaves]]



\end{itemize}


\end{itemize}
\hypertarget{623_effective_epimorphisms}{}\paragraph*{{6.2.3 Effective epimorphisms}}\label{623_effective_epimorphisms}

\begin{itemize}%
\item [[(∞,1)-semitopos]]


\item [[effective epimorphism in an (∞,1)-category]]



\end{itemize}
\hypertarget{63_the_category_of_topoi}{}\subsubsection*{{6.3 The $\infty$-Category of $\infty$-Topoi}}\label{63_the_category_of_topoi}

\hypertarget{631_geometric_morphisms}{}\paragraph*{{6.3.1 Geometric morphisms}}\label{631_geometric_morphisms}

\begin{itemize}%
\item [[(∞,1)-geometric morphism]]


\item [[(∞,1)Toposes]]



\end{itemize}
\hypertarget{632_colimits_of_topoi}{}\paragraph*{{6.3.2 Colimits of $\infty$-topoi}}\label{632_colimits_of_topoi}

\hypertarget{633_filtered_limits_of_topoi}{}\paragraph*{{6.3.3 Filtered limits of $\infty$-topoi}}\label{633_filtered_limits_of_topoi}

\hypertarget{634_general_limits_of_topoi}{}\paragraph*{{6.3.4 General limits of $\infty$-topoi}}\label{634_general_limits_of_topoi}

\hypertarget{635_etale_morphisms_of_topoi}{}\paragraph*{{6.3.5 Etale Morphisms of $\infty$-topoi}}\label{635_etale_morphisms_of_topoi}

\begin{itemize}%
\item [[étale geometric morphism]]

\end{itemize}
\hypertarget{64_topoi}{}\subsubsection*{{6.4 $n$-Topoi}}\label{64_topoi}

\begin{itemize}%
\item [[(n,1)-topos]]


\item [[n-localic (∞,1)-topos]]



\end{itemize}
\hypertarget{65_homotopy_theory_in_an_topos}{}\subsubsection*{{6.5 Homotopy theory in an $(\infty,1)$-topos}}\label{65_homotopy_theory_in_an_topos}

\hypertarget{651_homotopy_groups}{}\paragraph*{{6.5.1 Homotopy groups}}\label{651_homotopy_groups}

\begin{itemize}%
\item [[homotopy groups in an (∞,1)-topos]]

\begin{itemize}%
\item [[n-truncated object of an (∞,1)-topos]]


\item [[n-connected object of an (∞,1)-topos]]


\item [[Eilenberg-MacLane object]]



\end{itemize}

\item [[cohomology]]



\end{itemize}
\hypertarget{652_connectedness}{}\paragraph*{{6.5.2 $\infty$-Connectedness}}\label{652_connectedness}

\hypertarget{653_hypercovering}{}\paragraph*{{6.5.3 Hypercovering}}\label{653_hypercovering}

\begin{itemize}%
\item [[(∞,1)-sheafification]]/[[∞-stackification]]


\item [[hypercover]]


\item [[hypercomplete (∞,1)-topos]]


\item [[Whitehead theorem]]



\end{itemize}
\hypertarget{654_descent_versus_hyperdescent}{}\paragraph*{{6.5.4 Descent versus Hyperdescent}}\label{654_descent_versus_hyperdescent}

\begin{itemize}%
\item [[topological localization]]


\item [[hypercompletion]]



\end{itemize}
\hypertarget{7_higher_topos_theory_in_topology}{}\subsection*{{7 Higher Topos Theory in Topology}}\label{7_higher_topos_theory_in_topology}

\hypertarget{71_paracompact_spaces}{}\subsubsection*{{7.1 Paracompact spaces}}\label{71_paracompact_spaces}

\begin{itemize}%
\item [[shape of an (∞,1)-topos]]


\item [[shape theory]]



\end{itemize}
\hypertarget{72_dimension_theory}{}\subsubsection*{{7.2 Dimension theory}}\label{72_dimension_theory}

\begin{itemize}%
\item [[homotopy]]


\item [[cohomology]]

\begin{itemize}%
\item [[cocycle]]


\item [[Eilenberg-MacLane object]]


\item [[gerbe]], [[∞-gerbe]]



\end{itemize}

\item [[dimension]]

\begin{itemize}%
\item [[homotopy dimension]]


\item [[cohomological dimension]]


\item [[covering dimension]]


\item [[Heyting dimension]]



\end{itemize}


\end{itemize}
\hypertarget{appendix}{}\subsection*{{Appendix}}\label{appendix}

\hypertarget{a1_category_theory}{}\subsubsection*{{A.1 Category theory}}\label{a1_category_theory}

\begin{itemize}%
\item [[category theory]]


\item [[presentable category]]


\item [[accessible category]]


\item [[weak factorization system]]


\item [[transfinite composition]]


\item [[small object argument]]


\item [[enriched category theory]]

\begin{itemize}%
\item [[monoidal category]]

\end{itemize}


\end{itemize}
\hypertarget{ModelCategories}{}\subsubsection*{{A.2 Model categories}}\label{ModelCategories}

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


\item [[category with weak equivalences]]


\item [[homotopical category]]

\begin{itemize}%
\item [[enriched homotopical category]]


\item [[category of fibrant objects]]


\item [[Waldhausen category]]


\item [[simplicial localization]]


\item [[model category]]

\begin{itemize}%
\item [[Quillen adjunction]]

\begin{itemize}%
\item [[Quillen equivalence]]

\end{itemize}

\item [[Quillen bifunctor]]


\item [[monoidal model category]]


\item [[enriched model category]]


\item [[localization of a simplicial model category]]

\begin{itemize}%
\item [[Bousfield localization]]

\end{itemize}


\end{itemize}

\item [[Reedy model structure]]



\end{itemize}


\end{itemize}
\hypertarget{a3_simplicial_categories}{}\subsubsection*{{A.3 Simplicial categories}}\label{a3_simplicial_categories}

\begin{itemize}%
\item [[presentable (∞,1)-category]]

\end{itemize}
\hypertarget{a31_enriched_and_monoidal_model_categoires}{}\paragraph*{{A.3.1 Enriched and monoidal model categoires}}\label{a31_enriched_and_monoidal_model_categoires}

\begin{itemize}%
\item [[enriched model category]]


\item [[monoidal model category]]


\item [[Quillen bifunctor]]


\item [[simplicial model category]]



\end{itemize}
\hypertarget{a32_the_model_structure_on_enriched_categories}{}\paragraph*{{A.3.2 The model structure on $\mathbf{S}$-enriched categories}}\label{a32_the_model_structure_on_enriched_categories}

\begin{itemize}%
\item [[simplicially enriched category]]


\item [[combinatorial simplicial model category]]


\item [[excellent model category]]


\item [[model structure on sSet-categories]]



\end{itemize}
\hypertarget{a33_model_structures_on_diagram_categories}{}\paragraph*{{A.3.3 Model structures on diagram categories}}\label{a33_model_structures_on_diagram_categories}

\begin{itemize}%
\item [[global model structure on functors]]


\item [[Reedy model structure]]


\item [[homotopy Kan extension]]

\begin{itemize}%
\item [[homotopy limit]]


\item [[homotopy colimit]]



\end{itemize}


\end{itemize}
\hypertarget{a34_path_spaces_in_enriched_categories}{}\paragraph*{{A.3.4 Path spaces in $\mathbf{S}$-enriched categories}}\label{a34_path_spaces_in_enriched_categories}

\begin{itemize}%
\item [[(∞,1)-category of (∞,1)-functors]]

\end{itemize}
\hypertarget{a35_homotopy_colimits_of_enriched_categories}{}\paragraph*{{A.3.5 Homotopy colimits of $\mathbf{S}$-enriched categories}}\label{a35_homotopy_colimits_of_enriched_categories}

\ldots{}

\hypertarget{a35_exponentiation_in_model_categories}{}\paragraph*{{A.3.5 Exponentiation in model categories}}\label{a35_exponentiation_in_model_categories}

\ldots{}

\hypertarget{a37_localizations_of_simplicial_model_categories}{}\paragraph*{{A.3.7 Localizations of simplicial model categories}}\label{a37_localizations_of_simplicial_model_categories}

\begin{itemize}%
\item [[Bousfield localization of model categories]]


\item [[localization of a simplicial model category]]


\item [[Combinatorial model categories have presentations]]



\end{itemize}
category: reference

[[!redirects HTT]]



\end{document}