\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*{Bousfield localization of model categories}

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

\hypertarget{model_category_theory}{}\paragraph*{{Model category theory}}\label{model_category_theory}

[[!include model category theory - contents]]

\hypertarget{locality_and_descent}{}\paragraph*{{Locality and descent}}\label{locality_and_descent}

[[!include descent and locality - 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{Definition}{Localization at $S$-local weak equivalences}\dotfill \pageref*{Definition} \linebreak
\noindent\hyperlink{Properties}{Properties}\dotfill \pageref*{Properties} \linebreak
\noindent\hyperlink{fibrants_in__are_the_local_fibrants_in_}{Fibrants in $L_S C$ are the $S$-local fibrants in $C$}\dotfill \pageref*{fibrants_in__are_the_local_fibrants_in_} \linebreak
\noindent\hyperlink{fibrant_replacement_in___localization_of_objects}{Fibrant replacement in $L_S W$ -- localization of objects}\dotfill \pageref*{fibrant_replacement_in___localization_of_objects} \linebreak
\noindent\hyperlink{local_weak_equivalences_between_local_objects_are_weak_equivalences}{$S$-local weak equivalences between $S$-local objects are weak equivalences}\dotfill \pageref*{local_weak_equivalences_between_local_objects_are_weak_equivalences} \linebreak
\noindent\hyperlink{LocHasToBeSLoc}{Every Bousfield localization is of this form}\dotfill \pageref*{LocHasToBeSLoc} \linebreak
\noindent\hyperlink{FunctorialityOfLocalization}{Functoriality of localization}\dotfill \pageref*{FunctorialityOfLocalization} \linebreak
\noindent\hyperlink{further_properties}{Further properties}\dotfill \pageref*{further_properties} \linebreak
\noindent\hyperlink{Existence}{Existence of localizations for combinatorial model categories}\dotfill \pageref*{Existence} \linebreak
\noindent\hyperlink{prerequisites_for_the_proof}{Prerequisites for the proof}\dotfill \pageref*{prerequisites_for_the_proof} \linebreak
\noindent\hyperlink{small_objects}{Small objects}\dotfill \pageref*{small_objects} \linebreak
\noindent\hyperlink{combinatorial_model_categories}{Combinatorial model categories}\dotfill \pageref*{combinatorial_model_categories} \linebreak
\noindent\hyperlink{local_objects}{Local objects}\dotfill \pageref*{local_objects} \linebreak
\noindent\hyperlink{homotopy_colimits}{Homotopy (co)limits}\dotfill \pageref*{homotopy_colimits} \linebreak
\noindent\hyperlink{size_issues}{Size issues}\dotfill \pageref*{size_issues} \linebreak
\noindent\hyperlink{the_proof_itself}{The proof itself}\dotfill \pageref*{the_proof_itself} \linebreak
\noindent\hyperlink{recognition_of_the_combinatorial_model_structure}{Recognition of the combinatorial model structure}\dotfill \pageref*{recognition_of_the_combinatorial_model_structure} \linebreak
\noindent\hyperlink{accessibility_of_the_local_weak_equivalences}{Accessibility of the $S$-local weak equivalences}\dotfill \pageref*{accessibility_of_the_local_weak_equivalences} \linebreak
\noindent\hyperlink{further_properties_2}{Further properties}\dotfill \pageref*{further_properties_2} \linebreak
\noindent\hyperlink{using_large_cardinal_axioms}{Using large cardinal axioms}\dotfill \pageref*{using_large_cardinal_axioms} \linebreak
\noindent\hyperlink{existence_of_localizations_for_tractable_ennriched_model_categories}{Existence of localizations for tractable ennriched model categories}\dotfill \pageref*{existence_of_localizations_for_tractable_ennriched_model_categories} \linebreak
\noindent\hyperlink{examples_and_applications}{Examples and Applications}\dotfill \pageref*{examples_and_applications} \linebreak
\noindent\hyperlink{categories_to_which_the_general_existence_theorem_applies}{Categories to which the general existence theorem applies}\dotfill \pageref*{categories_to_which_the_general_existence_theorem_applies} \linebreak
\noindent\hyperlink{at_derived_idempotent_monads}{At derived idempotent monads}\dotfill \pageref*{at_derived_idempotent_monads} \linebreak
\noindent\hyperlink{localization_of_spectra}{Localization of spectra}\dotfill \pageref*{localization_of_spectra} \linebreak
\noindent\hyperlink{local_model_structure_on_presheaves}{Local model structure on presheaves}\dotfill \pageref*{local_model_structure_on_presheaves} \linebreak
\noindent\hyperlink{relation_to_other_concepts}{Relation to other concepts}\dotfill \pageref*{relation_to_other_concepts} \linebreak
\noindent\hyperlink{LocPresInf}{Locally presentable $(\infty,1)$-categories}\dotfill \pageref*{LocPresInf} \linebreak
\noindent\hyperlink{localization_of_triangulated_categories}{Localization of triangulated categories}\dotfill \pageref*{localization_of_triangulated_categories} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


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

Bousfield localization is a procedure that to a [[model category]] structure $C$ assigns a new one with more weak equivalences. It is a special case of a [[localization of model categories]], corresponding to the homotopy-version of the notion of [[localization]] of categories by [[reflective subcategories]]: [[reflective localization]]. In fact, left Bousfield localization is a [[Quillen reflection]].

The historically original example is the [[Bousfield localization of spectra]]. But the notion is much more general.

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

\begin{defn}
\label{}\hypertarget{}{}
A \emph{left Bousfield localization} $C_{loc}$ of a model category $C$ is another model category structure on the same underlying category with the same cofibrations,

\begin{displaymath}
cof_{C_{loc}} = cof_c
\end{displaymath}
but more weak equivalences

\begin{displaymath}
W_{C_{loc}} \supset W_C
  \,.
\end{displaymath}
\end{defn}
While that's a very simple definition, it turns out that something interesting happens to the fibrations when we keep the cofibrations fixed and increase the weak equivalences.

\begin{remark}
\label{ImmediateImpiciationsOfLeftBousfieldLocalization}\hypertarget{ImmediateImpiciationsOfLeftBousfieldLocalization}{}
It follows directly that

\begin{itemize}%
\item $C_{loc}$ has as [[fibrations]] a sub-class of the fibrations of $C$

\begin{displaymath}
fib_{C_{loc}} = rlp(cof_{C_{loc}} \cap W_{C_{loc}})
  \subset rlp(cof_{C_{loc}} \cap W_C) = fib_{C}
  \,.
\end{displaymath}

\item $C_{loc}$ has the same [[acyclic fibrations]] as $C$

\begin{displaymath}
fib_{C_{loc}} \cap W_{C_{loc}}
  =
  rlp(cof_{C_{loc}}) = rlp(cof_C) = fib_C \cap W_C
  \,.
\end{displaymath}

\item on the underlying categories

\begin{itemize}%
\item the identity functor $Id : C \to C_{loc}$ preserves cofibrations and weak equivalences


\item the identity functor $Id : C_{loc} \to C$ preserves fibrations and acyclic fibrations



\end{itemize}
so that this pair of functors is a [[Quillen adjunction]]

\begin{displaymath}
C_{loc} \stackrel{\leftarrow}{\to} C
  \,,
\end{displaymath}


\end{itemize}
\end{remark}
and a very special one: With $C^\circ$ the [[full subcategory]] on fibrant-cofibrant objects, under left Bousfield localization the fibrant-cofibrant objects of $C_{loc}$ are a subcollection of those of $C$, so that we have the full subcategory

\begin{displaymath}
(C_{loc})^\circ \subset C^\circ
  \,.
\end{displaymath}
Moreover, as we shall see, every object in $C$ is weakly equivalent in $C_{loc}$ to one in $C_{loc}$: it \emph{reflects into $C_{loc}$} .

Bousfield localization is a model category version of \emph{reflection onto [[local objects]]}, in the sense discussed at \emph{[[reflective localization]]}.

Indeed -- at least when $C$ is a [[combinatorial simplicial model category]] -- Bousfield localization is an example of a [[localization of a simplicial model category]] and under [[presentable (infinity,1)-category|passage to the sub-category of fibrant-cofibrant objects]] this Quillen adjunction becomes the inclusion of a [[reflective (∞,1)-subcategory]]

\begin{displaymath}
{C_{loc}}^\circ \stackrel{\stackrel{lex}{\leftarrow}}{\hookrightarrow}
  C^\circ
\end{displaymath}
hence of a [[localization of an (∞,1)-category]].

Such a localization is determined by the collection $S$ of \emph{[[local object|local weak equivalences]]} in $C$, and alternatively by the collection of $S$-[[local object]]s in $C$. Indeed, ${C_{loc}}^\circ$ is the full $(\infty,1)$-subcategory on the cofibrant and fibrant and $S$-local objects of $C$.

\hypertarget{Definition}{}\subsection*{{Localization at $S$-local weak equivalences}}\label{Definition}

More in detail, the weak equivalences that are added under Bousfield localization are `'$S$-local weak equivalences`` for some set $S \subset Mor(C)$. We will see \hyperlink{LocHasToBeSLoc}{below} why this is necessarily the case if $C$ is a [[cofibrantly generated model category]]. For the moment, we take the following to be a refined definition of left Bousfield localization.

Let $C$ be a

\begin{itemize}%
\item [[proper model category|left proper]]


\item [[cofibrantly generated model category|cofibrantly generated]]


\item [[simplicial model category]].


\item $S \subset cof_C \subset Mor(C)$ be a subclass of cofibrations with cofibrant domain.



\end{itemize}
We want to characterize objects in $C$ that ``see elements of $S$ as weak equivalences''. Notice that

\begin{lemma}
\label{}\hypertarget{}{}
In an ordinary category $C$, by the [[Yoneda lemma]] a morphism $f : A \to B$ is an [[isomorphism]] precisely if for all objects $X$ the morphism

\begin{displaymath}
Hom_C(f,X) : Hom_C(B,X) \to Hom_C(A,X)
\end{displaymath}
is an [[isomorphism]] (of sets, i.e. a [[bijection]]).

\end{lemma}
So we can ``test isomorphism by homming them into objects''. This phenomenon we use now the other way round, to characterize new weak equivalences:

\begin{defn}
\label{}\hypertarget{}{}
\textbf{($S$-local objects and $S$-local weak equivalences)}

Say that

\begin{itemize}%
\item a fibrant object $X$ is an $S$-[[local object]] if for all $s : A \hookrightarrow B$ in $S$ the morphism

\begin{displaymath}
C(s,X) : C(B,X) \to C(A,X)
\end{displaymath}
is a trivial [[Kan fibration]];


\item conversely, say that a cofibration $f : A \hookrightarrow B$ is an $S$-local weak equivalence if for all $S$-local fibrant objects $X$ the morphism $C(f,X) : C(B,X) \to
C(A,X)$ is a trivial [[Kan fibration]].



\end{itemize}
\end{defn}
This is a slightly simplified version of a more general definition using [[derived hom space]]s, where we do not have to assume that the domains and codomains of elements are $S$ and not that the local objects are fibrant.

\begin{def}
\label{}\hypertarget{}{}
\textbf{($S$-local objects and $S$-local weak equivalences)}

Assume that we have fibrant and cofibrant replacement functors $P,Q : C \to C$. Then say

\begin{itemize}%
\item an object $X$ is an $S$-[[local object]] if for all $s : A \hookrightarrow B$ in $S$ the morphism

\begin{displaymath}
C(Q s,P X) : C(Q B,P X) \to C(Q A,P X)
\end{displaymath}
is a [[model structure on simplicial sets|weak equivalence of simplicial sets]];


\item conversely, say that a cofibration $f : A \hookrightarrow B$ is an $S$-local weak equivalence if for all $S$-local objects $X$ the morphism $C(Q f,P X) : C(Q B,P X) \to
C(Q A,P X)$ is a weak equivalence.



\end{itemize}
That this second condition is indeed compatible with the first one is shown \href{http://ncatlab.org/nlab/show/local+object#PropInModCat}{here}.

\end{def}
We write $W_S$ for the collection of $S$-local weak equivalences.

\begin{remark}
\label{}\hypertarget{}{}
For every weak equivalence $f : A \stackrel{\simeq}{\to} B$ between cofibrant objects and every fibrant object $X$ it follows generally from the fact that $C$ is an [[SSet]]-[[enriched category]] that

\begin{displaymath}
C(f,X) : C(B,X) \to C(A,X)
\end{displaymath}
is a weak equivalence of simplicial sets. This is described in detail at \href{http://ncatlab.org/nlab/show/%28infinity%2C1%29-categorical+hom-space#EnrichedHomsCofToFib}{enriched homs from cofibrants to fibrants}.

\end{remark}
Here this implies in particular

\begin{lemma}
\label{}\hypertarget{}{}
Every ordinary weak equivalence is also $S$-local weak equivalence.

\begin{displaymath}
W \subset W_S
  \,.
\end{displaymath}
\end{lemma}
Therefore, for any set $S$, we can consider the left Bousfield localization at the $S$-local weak equivalences $W_S$:

\begin{defn}
\label{}\hypertarget{}{}
\textbf{(left Bousfield localization)}

The left Bousfield localization $L_S C$ of $C$ \textbf{at $S$} is, if it exists, the new model category structure on $C$ with

\begin{itemize}%
\item cofibrations are the same as before, $cof_{L_S C } = cof_C$;


\item acyclic cofibrations are the cofibrations that are $S$-local weak equivalences.



\end{itemize}
\end{defn}
\hypertarget{Properties}{}\subsubsection*{{Properties}}\label{Properties}

Assume that the left Bousfield localization $L_S C$ of a given model category at a class $S$ of cofibrations with cofibrant domain exists. Then it has the following properties.

\hypertarget{fibrants_in__are_the_local_fibrants_in_}{}\paragraph*{{Fibrants in $L_S C$ are the $S$-local fibrants in $C$}}\label{fibrants_in__are_the_local_fibrants_in_}

\begin{prop}
\label{}\hypertarget{}{}
The fibrant objects in $L_S C$ are precisely the fibrant objects in $C$ that are $S$-[[local object|local]].

\end{prop}
\begin{proof}
To see this, we modify, if necessary, the set $S$ in a convenient way without changing the class $W_S$ of $S$-[[local object|local weak equivalence]]s that it defines.

\textbf{Lemma} We may add to $S$ any set of $S$-local cofibrations without changing the collection of $S$-[[local object]]s and hence without changing the collection of $S$-local weak equivalences themselves. In particular, we may add to $S$ without changing $W_S$

\begin{itemize}%
\item all generating acyclic cofibrations of $C$, i.e. $J \subset S$;


\item for every original morphism $f : A \to B$ in $S$ and for every $n \in \mathbb{N}$ also the canonical morphism

\begin{displaymath}
\tilde f : (Q_f := A \cdot
  \Delta^n \coprod_{A \cdot \partial \Delta^n}
  B \cdot \partial \Delta^n) \to B \cdot \Delta^n
  \,,
\end{displaymath}
where $A \cdot \Delta^n$ etc. denotes the [[copower|tensoring]] of $C$ over [[SSet]].



\end{itemize}
\textbf{Proof of the Lemma}

We discuss why these morphisms of the latter type are indeed $S$-local cofibrations with cofibrant domain:

to see that $\tilde f$ is indeed a cofibration notice that for every commuting diagram

\begin{displaymath}
\itexarray{
    Q_f &\to& X
    \\
    \downarrow && \downarrow^{\in \mathrlap{fib_C \cap W_C}}
    \\
    B \cdot \Delta^n
    &\to&
    Y
  }
\end{displaymath}
we get as components of the top morphism the left square of

\begin{displaymath}
\itexarray{
    \partial \Delta^n &\to& C(B,X) &\to& C(B,Y)
    \\
    \downarrow &&
    \downarrow &&
    \downarrow
    \\
    \Delta^n &\to& C(A,X) &\to& C(A,Y)
  }
\end{displaymath}
and similarly the components of the bottom morphism consitute a morphism $\Delta^n \to C(B,X)$ which by the commutativity of the original square is a lift of the outer diagram here. The top left triangle of this lift in turn gives a square

\begin{displaymath}
\itexarray{
    \partial \Delta^n &\to& C(B,X)
    \\
    \downarrow^{\mathllap{\in cof_{SSet} \cap W_{SSet}\quad}}
    && \quad \downarrow^{\in fib_{SSet}}
    \\
    \Delta^n &\to& C(A,X)
  }
  \,.
\end{displaymath}
So this last diagram has a lift $(\Delta^n \to C(B,X))$ and this is adjunct to the lift $B \cdot \Delta^n \to X$ of the original lifting problem that we are looking for.

Therefore $\tilde f : Q_f \to B \cdot \Delta^n$ is indeed a cofibration.

Notice that in these arguments we made use of

\begin{itemize}%
\item the [[power]]ing and [[copower]]ing of the [[simplicially enriched category]] $C$ over [[SSet]]


\item and of the [[Quillen bifunctor]] property of the [[copower]]ing which ensures that the fibrations and cofibrations are as indicated.



\end{itemize}
Next, again using the [[Quillen bifunctor]] property of the [[copower|tensoring]] of $C$ over [[SSet]] we find that with $A$ cofibrant in $C$ and $\Delta^n$ being cofibrant in [[SSet]] it follows that $A \cdot \Delta^n$ is cofibrant; similarly for the other cases. The coproduct of two cofibrant objects is cofibrant because cofibrations are preserved under pushout. Therefore $Q_f$ is indeed a cofibrant domain of our cofibration.

With $\tilde f$ being a cofibration, we can check $S$-locality by homming into fibrant $S$-local objects and checking if that produces an acyclic Kan fibration.

So let $X$ be a fibrant and $S$-local object of $C$. Homming the defining [[pushout]] diagram for $Q_f$ into $X$ produces the [[pullback]] diagram

\begin{displaymath}
\itexarray{
    [\partial \Delta^n,[A,X]]
    &\stackrel{\in W}{\leftarrow}&
    [\partial \Delta^n, [B,X]]
    \\
    \uparrow^{\mathrlap{\in fib}} &&
    \uparrow
    \\
    [\Delta^n,[A,X]]
    &\stackrel{\in W}{\leftarrow}&
    [A \cdot \Delta^n \coprod_{A \cdot \partial \Delta^n} B \cdot \partial \Delta^n, X]
    \\
    &{}_{\in W}\nwarrow&& \nwarrow
    \\
    &&&& [B \cdot \Delta^n, X]
  }
\end{displaymath}
in [[SSet]]. Here the top and the lowest morphisms are weak equivalences by the fact that $[B,X] \to [A,X]$ is an acyclic Kan fibration by the characterization of $S$-[[local object|local cofibrations]] and the fact that [[SSet]] is an [[SSet]]-[[enriched model category]]. Similarly for the fibration on the left, which implies by right [[proper model category|properness]] of [[SSet]] that the bottom horizontal morphism is a weak equivalence, which finally implies by [[category with weak equivalences|2-out-of-3]] that the morphism in question is a weak equivalence.

\textbf{end of the proof of the lemma}

This shows that we can assume that $S$ contain the generating acyclic cofibrations and the morphism called $\tilde f$.

As usual, we say that given a set of morphisms $S$ and an object $X$ that $X$ has the \emph{extension property} with respect to $S$ if every diagram

\begin{displaymath}
\itexarray{
    A &\to& X
    \\
    \downarrow^{\mathrlap{\in S}} && \downarrow
    \\
    B &\to& {*}
  }
\end{displaymath}
has a lift.

We claim now that the the objects of $C$ that have the extension property with respect to our set $S$ are precisely the fibrant and $S$-[[local object]]s. The argument proceeds along the same lines as the proof of the above lemma.

In one direction, if $X$ that has the extension property with respect to $S$ it has it in particular with respect to the generating acyclic cofibrations $J \subset S$ and hence is fibrant, and it, in particular, has the extension property with respect to $\tilde f : A \cdot \Delta^n \coprod_{A \cdot \partial \Delta^n} B \cdot \partial \Delta^n \to B \cdot \Delta^n$. Observe that by the pushout definition of $Q_f$ a morphism

\begin{displaymath}
Q_f \to X
\end{displaymath}
consists of two component maps $(A \cdot \Delta^n \to X)$ and $(B \cdot \partial \Delta^n \to X)$ such that

\begin{displaymath}
\itexarray{
    \partial \Delta^n &\to& C(B,X)
    \\
    \downarrow && \downarrow
    \\
    \Delta^n &\to& C(A,X)
  }
  \,,
\end{displaymath}
and in terms of this a lift

\begin{displaymath}
\itexarray{
     Q_f &\to& X
     \\
     \downarrow & \nearrow_{\exists}
     \\
     B \cdot \Delta^n
  }
\end{displaymath}
consists of a lift

\begin{displaymath}
\itexarray{
    \partial \Delta^n &\to& C(B,X)
    \\
    \downarrow &\nearrow_\exists & \downarrow
    \\
    \Delta^n &\to& C(A,X)
  }
  \,.
\end{displaymath}
Since $\{\partial \Delta^n \to \Delta^n | n \in \mathbb{N}\}$ are the generating acylic fibrations in the standard [[model structure on simplicial sets]], this shows the extension property of $S$ with respect to all $\tilde f$ means that all $C(s,X) : C(B,X) \to C(A,X)$ are acyclic [[Kan fibration]]s.

Conversely, if $X$ is fibrant and $S$-local, then for all $A \to B$ in $S$ the map $[B,X] \to [A,X]$ in $SSet$ is an acyclic [[Kan fibration]] hence in particular its underlying map of sets $Hom_C(B,X) \to Hom_C(A,X)$ is a surjection, so $X$ has the extension property.

Now every fibrant object $X$ in $L_S W$ has the extension property with respect to $cof_C \cap W_S$ hence in particular with respect to $S \subset cof_c \cap W_S$, so is $S$-local and fibrant in $C$.

Conversely, if it is $S$-local and fibrant in $C$; then, as mentioned before, for all $f \in cof_C \cap W_S$ the map $[f,X]$ is an acyclic Kan fibration in [[SSet]] so that in particular $Hom_C(f,X)$ is a surjection, which means that $X$ has the extension property with respect to all $f$ and is hence fibrant in $L_S C$.

\end{proof}
\hypertarget{fibrant_replacement_in___localization_of_objects}{}\paragraph*{{Fibrant replacement in $L_S W$ -- localization of objects}}\label{fibrant_replacement_in___localization_of_objects}

If $S$ is a small set, we may apply the [[small object argument]] to $S$. If we apply it to factor all morphisms $X \to {*}$ to the [[terminal object]] we obtain a functorial factorization componentwise of the form

\begin{displaymath}
X \stackrel{\eta_X \in cell(S)\subset W_S}{\to}
  T X \stackrel{inj(S)}{\to} {*}
  \,.
\end{displaymath}
We had remarked already in the previous argument that objects with the extension property relative to $S$, i.e. objects whose morphism to the terminal object is in $inj(S)$, are fibrant as well as $S$-[[local object|local]] in $C$.

Therefore $T$ is in particular a \textbf{fibrant approximation functor} in $L_S W$ and $\eta_S$ is the weak equivalence

\begin{displaymath}
\eta_S : X \stackrel{\simeq_{W_S}}{\to} T X
\end{displaymath}
in $L_S C$ relating an object to its fibrant approximation.

More precisely:

\begin{prop}
\label{DerivedAdjunctionUnitOfLftBousfieldLoclization}\hypertarget{DerivedAdjunctionUnitOfLftBousfieldLoclization}{}
Let

\begin{displaymath}
\mathcal{C}_{loc}
    \underoverset
      {\underset{id}{\longrightarrow}}
      {\overset{id}{\longleftarrow}}
      {\bot}
  \mathcal{C}
\end{displaymath}
be a [[Quillen adjunction]] which exhibits a left [[Bousfield localization of model categories]], and assume that $\mathcal{C}_{loc}$ admits [[functorial factorization]] (for instance if $\mathcal{C}$ is a [[combinatorial model category]], whence $\mathcal{C}_{loc}$ is, then via the [[small object argument]]), hence in particular a fibrant replacement [[natural transformation]]

\begin{displaymath}
(-) \longrightarrow (-)^{fib}
  \,.
\end{displaymath}
Then the derived adjunction unit, i.e. the [[adjunction unit]] $\eta^{der}$ of [[adjoint pair]] of the [[derived functors]] on the [[homotopy category of a model category|homotopy category]] (as discussed there)

\begin{displaymath}
Ho(\mathcal{C}_{loc})
    \underoverset
      {\underset{}{\hookrightarrow}}
      {\overset{}{\longleftarrow}}
      {\bot}
  Ho(\mathcal{C})
\end{displaymath}
is isomorphic to the image of the fibrant replacement morphism in $\mathcal{C}_{loc}$:

\begin{displaymath}
\eta^{der}_X
  \simeq
  \ell(X \to X^{fib})
  \,,
\end{displaymath}
where $\ell \;\colon\; \mathcal{C}_{loc} \to Ho(\mathcal{C}_{loc})\;$ is the [[localization]] functor (as discussed at \emph{[[homotopy category of a model category]]}).

\end{prop}
\begin{proof}
First consider the general prescription (from \emph{[[homotopy category of a model category]]}) of computing the right (left) [[derived functors]] by applying the Quillen functors to fibrant (cofibrant) replacements, where we apply the fibrant replacement functorially also to the non-cofibrantly replaced object:

Let

\begin{displaymath}
\mathcal{C}
    \underoverset
      {\underset{R}{\longrightarrow}}
      {\overset{L}{\longleftarrow}}
      {\bot}
  \mathcal{D}
\end{displaymath}
be a general [[Quillen adjunction]] betwen [[model categories]] which admit [[functorial factorization]].

Let $X \in \mathcal{D}$ be any [[object]]. First consider a cofibrant replacement

\begin{displaymath}
\itexarray{
    X_{cof}
    \\
    \downarrow^{\mathrlap{\in \mathrm{W} \cap Fib}}
    \\
    X
  }
  \,.
\end{displaymath}
Then apply $L$ to this

\begin{displaymath}
\itexarray{
    L(X_{cof})
    \\
    \downarrow^{}
    \\
    L(X)
  }
  \,.
\end{displaymath}
Then apply fibrant replacement functorially

\begin{displaymath}
\itexarray{
    L(X_{cof})
     &\overset{\in W \cap Cof}{\longrightarrow}&
    (L(X_{cof}))^{fib}
    \\
    \downarrow^{}
      &&
    \downarrow
    \\
    L(X)
      &\underset{\in W \cap Cof}{\longrightarrow}&
    (L(X))^{fib}
  }
  \,.
\end{displaymath}
Then apply $R$

\begin{displaymath}
\itexarray{
     R L (X_{cof})
       &\overset{}{\longrightarrow}&
     R (L X_{cof})^{fib}
     \\
     \downarrow^{\mathrlap{}}
       &&
     \downarrow
     \\
     R L X &\underset{}{\longrightarrow}& R((L X)^{fib})
  }
\end{displaymath}
Finally, precompose with the ordinary [[adjunction unit]]. The derived adjunction unit is now modeled by the top composite morphism in the following diagram:

\begin{displaymath}
\itexarray{
     X_{cof}
      &\overset{\eta_{X_{cof}}}{\longrightarrow}&
     R L (X_{cof})
       &\overset{R (j \in W \cap Cof)}{\longrightarrow}&
     R (L X_{cof})^{fib}
     \\
     \downarrow
     &&
     \downarrow^{\mathrlap{\in W \cap Fib}}
       &&
     \downarrow
     \\
     X
      &\underset{\eta_X}{\longrightarrow}&
     R L X &\underset{}{\longrightarrow}& R((L X)^{fib})
  }
  \,.
\end{displaymath}
Now in the special case that $(L \dashv R)$ is a [[left Bousfield localization of model categories]], then as plain [[categories]] $\mathcal{D} = \mathcal{C}$ and as plain functors $L = id$ and $R = id$ are trivial and so in this special case the derived adjunction unit is modeled simply by the top morphism in the following diagram

\begin{displaymath}
\itexarray{
    X_{cof} 
      &\overset{\in Cof}{\longrightarrow}&
    (X_{cof})^{fib}
     \\
    {}^{\mathllap{\in W \cap Fib}}\downarrow
      &&
    \downarrow^{\mathrlap{\in W \cap Fib}}
    \\
    X 
      &\underset{\in W Cof}{\longrightarrow}&
    X^{fib}
  }
  \,.
\end{displaymath}
But now since the vertical morphisms are weak equivalences, this means that already the [[fibrant replacement]] $X \to X^{fib}$ is isomorphic, in the [[homotopy category of a model category|homotopy category]], to the [[derived adjunction unit]], i.e. applying the [[localization]] $\ell$ to the above diagram in $\mathcal{C}$ yields the diagram

\begin{displaymath}
\itexarray{
    \mathcal{l}(X_{cof})
      &\overset{\eta^{der}_X}{\longrightarrow}&
    \mathcal{l}((X_{cof})^{fib})
     \\
    {}^{\simeq}\downarrow
    &&
    \downarrow^{\mathrlap{\simeq}}
    \\
    \mathcal{l}(X) 
      &\underset{}{\longrightarrow}&
    \mathcal{l}(X^{fib})
  }
  \,.
\end{displaymath}
\end{proof}
\hypertarget{local_weak_equivalences_between_local_objects_are_weak_equivalences}{}\paragraph*{{$S$-local weak equivalences between $S$-local objects are weak equivalences}}\label{local_weak_equivalences_between_local_objects_are_weak_equivalences}

\begin{prop}
\label{LocalWeakEquivalencesBetweenLocalObjects}\hypertarget{LocalWeakEquivalencesBetweenLocalObjects}{}
The $S$-local weak equivalences between $S$-local fibrant objects are precisely the original weak equivalences between these objects.

\end{prop}
\begin{proof}
Consider the full subcategory $Ho_S(C) \subset Ho(C)$ of the [[homotopy category]] of $C$ on the $S$-[[local object]]s. The image of an $S$-local weak equivalence $f : A \to B$ in there satisfies for \emph{every} object $X$ in there that $Hom_{Ho_S(C)}(f,X)$ is an [[isomorphism]]. By the [[Yoneda lemma]] this implies that $f$ is an isomorphism in $Ho_S(C)$. Since that is a [[full subcategory]], it follows that $f$ is also an isomorphism in $Ho(C)$. But that means precisely that it is a weak equivalence in $C$.

\end{proof}
It follows that also the fibrations between local objects remain the same:

\begin{prop}
\label{LocalFibrationsBetweenLocalObjectsAreGlobalFibrations}\hypertarget{LocalFibrationsBetweenLocalObjectsAreGlobalFibrations}{}
Consider a left Bousfield localization with [[functorial factorization]] (e.g. of a [[combinatorial model category]], via the [[small object argument]]).

Then if $X, Y \in Fib_{loc}$ are [[local objects]], a morphism $p \colon X\longrightarrow Y$ between them is a fibration with respect to the local model structure precisely already if it is a fibration with respect to the original model structure.

\end{prop}
\begin{proof}
From remark \ref{ImmediateImpiciationsOfLeftBousfieldLocalization} we already know that $Fib_{loc} \subset Fib$, generally. Hence we need to show that if $p \in Fib$ with $X$ and $Y$ local, then $p \in Fib_{loc}$.

So given a [[lifting problem]] of the form

\begin{displaymath}
\itexarray{
     A &\overset{f}{\longrightarrow}& X \mathrlap{\in Fib_{loc}}
     \\
     {}^{\mathllap{\in W_{loc} \cap Cof}}\downarrow
       &&
     \downarrow^{\mathrlap{\in Fib}}
     \\
     B &\underset{g}{\longrightarrow}& Y \mathrlap{\in Fib_{loc}}
  }
\end{displaymath}
we need to exhibit a lift. (In labeling the arrows we use throughout that $Cof_{loc} = Cof$.)

By assumption of [[functorial factorization]] we may factor this diagram as follows:

\begin{displaymath}
\itexarray{
     A
       &\overset{\in W_{loc} \cap Cof }{\longrightarrow}&
     \widehat{A}
       &\overset{\in Fib_{loc}}{\longrightarrow}&
     X \mathrlap{\in Fib_{loc}}
     \\
     {}^{\mathllap{\in W_{loc} \cap Cof}} \downarrow
       &&
       \downarrow^{\mathrlap{  }}
       &&
     \downarrow^{\mathrlap{\in Fib}}
     \\
     B
       &\underset{\in W_{loc} \cap Cof}{\longrightarrow}&
     \widehat{B}
       &\underset{ \in Fib_{loc} }{\longrightarrow}&
     Y \mathrlap{\in Fib_{loc}}
  }
\end{displaymath}
It follows that $\widehat{A}, \widehat{B} \in Fib_{loc}$.

Consider next the further factorization of the middle vertical morphism as $\overset{W_{loc} \cap Cof}{\longrightarrow} \overset{\in Fib_{loc}}{\longrightarrow}$

\begin{displaymath}
\itexarray{
     A
       &\overset{\in W_{loc} \cap Cof }{\longrightarrow}&
     \widehat{A}
       &\overset{\in Fib_{loc}}{\longrightarrow}&
     X \mathrlap{\in Fib_{loc}}
     \\
     {}^{\mathllap{id}}\downarrow
       &&
     {}^{\mathllap{\in W \cap Cof}}\downarrow
       &&
     \downarrow^{\mathrlap{\in Fib}}
     \\
     A
       &\longrightarrow&
     \widehat{\widehat{A}}
       &\longrightarrow&
     Y
     \\
     {}^{\mathllap{\in W_{loc} \cap Cof}}\downarrow
        &&
     \downarrow^{\mathrlap{\in Fib_{loc}}}
       &&
     \downarrow^{\mathrlap{id}}
     \\
     B
       &\underset{\in W_{loc} \cap Cof}{\longrightarrow}&
     \widehat{B}
       &\underset{ \in Fib_{loc} }{\longrightarrow}&
     Y \mathrlap{\in Fib_{loc}}
  }
\end{displaymath}
Since it follows that $\widehat A, \widehat{\widehat A} \in Fib_{loc}$ we invoke prop. \ref{LocalWeakEquivalencesBetweenLocalObjects} to conclude that the top middle morphism is not just in $W_{loc} \cap Cof$ but indeed in $W \cap Cof$, as shown. This means that we have [[lifting]] in the top right square. Moreover, we also evidently have lifting in the bottom left square.

\begin{displaymath}
\itexarray{
     A
       &\overset{\in W_{loc} \cap Cof }{\longrightarrow}&
     \widehat{A}
       &\overset{\in Fib_{loc}}{\longrightarrow}&
     X \mathrlap{\in Fib_{loc}}
     \\
     {}^{\mathllap{id}}\downarrow
       &&
     {}^{\mathllap{\in W \cap Cof}}\downarrow
       &{}^{\mathllap{\exists}}\nearrow&
     \downarrow^{\mathrlap{\in Fib}}
     \\
     A
       &\longrightarrow&
     \widehat{\widehat{A}}
       &\longrightarrow&
     Y
     \\
     {}^{\mathllap{\in W_{loc} \cap Cof}}\downarrow
        &{}^{\mathllap{\exists}}\nearrow&
     \downarrow^{\mathrlap{\in Fib_{loc}}}
       &&
     \downarrow^{\mathrlap{id}}
     \\
     B
       &\underset{\in W_{loc} \cap Cof}{\longrightarrow}&
     \widehat{B}
       &\underset{ \in Fib_{loc} }{\longrightarrow}&
     Y \mathrlap{\in Fib_{loc}}
  }
\end{displaymath}
Together, these lifts constitute the desired total lift.

\end{proof}
\hypertarget{LocHasToBeSLoc}{}\paragraph*{{Every Bousfield localization is of this form}}\label{LocHasToBeSLoc}

We have considered two definitions of left Bousfield localization: in the first we just required that cofibrations are kept and weak equivalences are increased. In the second we more specifically took the weak equivalences to be $S$-local weak equivalences.

We now show that every localization in the first sense is indeed of the second kind if we demand that both the original and the localized category are left proper, cofibrantly generated simplicial model categories.

\begin{prop}
\label{}\hypertarget{}{}
In the context of left proper, cofibrantly generated simplicial model categories,

for $C_{loc}$ a left Bousfield localization of $C$ (i.e. a structure with the same cofibrations as $C$ and more weak equivalences), there is a set $S \subset Mor(C)$ such that

\begin{displaymath}
C_{loc} = L_S C
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
We show that choosing $S = J_{C_{loc}}$ to be the set of generating acyclic cofibrations does the trick.

First, the cofibrations of $C_{loc}$ and $L_S C$ coincide. Moreover, the acyclic cofibrations of $L_S C$ contain all the acyclic cofibrations of $C_{loc}$ because

\begin{displaymath}
cof_{L_S C} \cap W_{L_S C} = llp(rlp(J_{L_S C}))
  \subset llp(rlp(S)) = llp(rlp(J_{C_{loc}}))
  \,.
\end{displaymath}
It remains to show that, conversely, every acyclic cofibration $f : X \to Y$ in $L_S C$ is an acyclic cofibration in $C_{loc}$.

Choose a cofibrant replacement for $X$ and $Y$

\begin{displaymath}
\itexarray{
    X' &\stackrel{\in cof_C}{\to}& Y'
    \\
    \downarrow^{\mathrlap{\in W_C}}
     && \downarrow^{\mathrlap{\in W_C}}
    \\
    X &\stackrel{f}{\to}& Y
  }
\end{displaymath}
Then by 2-out-of-3 and since $W_{L_S C} \supset W_C$ the morphism $f' : X' \to Y'$ is still an acyclic cofibration on $L_S C$. Again by 2-out-of-3 and since $W_{C_{loc}} \supset W_C$, it is sufficient to show that $f'$ is an acyclic cofibration in $C_{loc}$.

To show that it is an acyclic cofibration in $C_{loc}$ it suffices to show that for every fibrant object $Z \in C_{loc}$ the morphism

\begin{displaymath}
C(Y',Z) \to C(X',Z)
\end{displaymath}
is a trivial fibration. Either by assumption or by the \href{http://ncatlab.org/nlab/show/local+object#PropInModCat}{characterization of S-local cofibrations} this is the case if $Z$ is $S$-local and fibrant in $C$. The first statement is one of the direct consequences of the definition of $C_{loc}$ and the second follows because $S = J_{C_{loc}}$.

\end{proof}
\hypertarget{FunctorialityOfLocalization}{}\paragraph*{{Functoriality of localization}}\label{FunctorialityOfLocalization}

\begin{prop}
\label{}\hypertarget{}{}
Let $C$ and $D$ be categories for which left Bousfield localization exists, and let

\begin{displaymath}
(L \dashv R)
  :
  C
  \stackrel{\overset{L}{\leftarrow}}{\underset{R}{\to}}
  D
\end{displaymath}
be a [[Quillen equivalence]]. Then for every small set $S \subset Mor(D)$ there is an induced Quillen equivalence of left Bousfield localizations

\begin{displaymath}
(L \dashv R)
  :
  C_{L(S)}
  \stackrel{\overset{L}{\leftarrow}}{\underset{R}{\to}}
  D_{S}
  \,.
\end{displaymath}
\end{prop}
This is due to Hirschhorn.

\hypertarget{further_properties}{}\paragraph*{{Further properties}}\label{further_properties}

\begin{prop}
\label{}\hypertarget{}{}
If the left Bousfield localization exists, i.e. $L_S C$ is indeed a [[model category]] with the above definitions of cofibrations and weak equivalences, then it is indeed a [[localization of a model category]] in that there is a \emph{left Quillen functor}

\begin{displaymath}
j \colon C \to L_S C
\end{displaymath}
(i.e. $j$ preserves cofibrations and trivial cofibrations and has a [[right adjoint]])

such that the total left [[derived functor]]

\begin{displaymath}
L j \colon Ho C \to Ho L_S C
\end{displaymath}
takes the images of $S \subset Mor(C)$ in $Ho(C)$ to [[isomorphism]]s

and every other left Quillen functor with this property factors by a unique left Quillen functor through $j$.

Moreover, the identity functor $Id_C$ on the underlying category is a [[Quillen adjunction]]

\begin{displaymath}
Id_C : L_S C \stackrel{\leftarrow }{\to} C : Id_C
\end{displaymath}
(and is itself a localization functor).

\end{prop}
\begin{proof}
The first part is theorem 3.3.19 in \hyperlink{Hirschhorn}{Hirschhorn}. The second part is prop 3.3.4, which follows directly from the following proposition.

\end{proof}
\hypertarget{Existence}{}\subsection*{{Existence of localizations for combinatorial model categories}}\label{Existence}

We discuss the existence of left Bousfield localization in the context of [[combinatorial model category|combinatorial model categories]]. A similar existence result is available in the context of [[cellular model category|cellular model categories]], but for the combinatorial case a somewhat better theory is available.

By the corollary to [[Dugger's theorem]] on presentations for [[combinatorial model category|combinatorial model categories]] we have that every combinatorial model category is [[Quillen equivalence|Quillen equivalent]] to a [[proper model category|left proper]] [[simplicial model category|simplicial]] combinatorial model category.

Therefore there is little loss in assuming this extra structure, which the following statement of the theorem does.

\begin{theorem}
\label{}\hypertarget{}{}
If $C$ is a

\begin{itemize}%
\item [[proper model category|left proper]]


\item [[simplicial model category|simplicial]]


\item [[combinatorial model category]]


\item and $S \subset Mor(C)$ is a [[small set]] of morphisms,



\end{itemize}
then the left Bousfield localization $L_S C$ does exist as a [[combinatorial model category]].

Moreover, it satisfies the following conditions:

\begin{itemize}%
\item the fibrant objects of $L_S C$ are precisely the $S$-[[local object]]s of $C$ that are fibrant in $C$;


\item $L_S C$ is itself a left [[proper model category]];


\item $L_S C$ is itself a [[simplicial model category]].



\end{itemize}
\end{theorem}
\begin{proof}
A proof of this making use of \href{http://ncatlab.org/nlab/show/combinatorial+model+category#SmithTheorem}{Jeff Smith's recognition theorem} for [[combinatorial model category|combinatorial model categories]] appears as [[Higher Topos Theory|HTT, prop. A.3.7.3]] and as theorem 2.11 in \href{http://arxiv.org/abs/0708.2067}{Bar07} and as theorem 4.7 in \href{http://www.math.harvard.edu/~clarkbar/complete.pdf}{Bar}.

We follow \href{http://www.math.harvard.edu/~clarkbar/complete.pdf}{Bar} for the proof that the assumptions of Smith's recognition theorem are satisfied and follow [[Higher Topos Theory|HTT, prop. A.3.7.3]] for the characterization of the fibrant objects. The details are spelled out in the following subsections.

\end{proof}
\hypertarget{prerequisites_for_the_proof}{}\subsubsection*{{Prerequisites for the proof}}\label{prerequisites_for_the_proof}

The proof we give is self-contained, except that it builds on the following notions and facts.

\hypertarget{small_objects}{}\paragraph*{{Small objects}}\label{small_objects}

A [[cardinal number]] $\kappa$ is \emph{regular} if it is not the cardinality of a union of $\lt \kappa$ sets of size $\lt \kappa$.

A [[poset]] $J$ is a $\kappa$-[[directed set]] if all subsets of cardinality $\lt \kappa$ have a common upper bound. A $\kappa$-[[directed colimit]] is a [[colimit]] $\lim_\to F$ over a functor $F : J \to C$.

An object $X$ in a category $C$ is a $\kappa$-[[compact object]] if $C(X,-) : C \to C$ commutes with all $\kappa$-[[directed colimit]]s. For $\lambda \gt \kappa$ every $\kappa$-compact object is also $\lambda$-compact.

This means that a morphism from a $\kappa$-compact object into an object that is a $\kappa$-directed colimit over component objects always lifts to one of these component objects.

An object is a [[small object]] if it is $\kappa$-compact for some $\kappa$.

A [[locally small category|locally small]] but possibly non-[[small category]] $C$ is an [[accessible category]] if it has a small sub-[[set]] of generating $\kappa$-[[compact object]]s such that every other object is a $\kappa$-[[directed colimit]] over such generators.

If such a category has all small colimits, it is called a [[locally presentable category]].

In particular, in a locally presentable category the [[small object argument]] for factoring of morphisms applies with respect to every set of morphisms.

\hypertarget{combinatorial_model_categories}{}\paragraph*{{Combinatorial model categories}}\label{combinatorial_model_categories}

A [[combinatorial model category]] is a [[locally presentable category]] that is equipped with a [[cofibrantly generated model category]] structure. So in particular there is a set of generating (acyclic) cofibrations that map between [[small objects]].

\href{http://ncatlab.org/nlab/show/combinatorial+model+category#SmithTheorem}{Smith's recognition theorem} says that a [[locally presentable category]] has a combinatorial model category structure already if it has weak equivalences and generating cofibrations satisfying a simple condition and if weak equivalences form an [[accessible category|accessible]] [[subcategory]] of the [[arrow category]]. This means that only two thirds of the data for a generic combinatorial model category needs to be checked and greatly facilitates checking model category structures.

\href{http://ncatlab.org/nlab/show/combinatorial+model+category#DuggerTheorem}{Dugger's theorem} implies that every combinatorial model category is [[Quillen equivalence|Quillen equivalent]] to a [[proper model category|left proper]] [[simplicial model category|simplicial]] combinatorial model category.

So we may assume without much restriction of generality that we are dealing with the localization of a [[proper model category|left proper]] [[combinatorial simplicial model category]].

Since the [[small object argument]] applies, a [[combinatorial model category]] has fibrant- and cofibrant-replacement functors $P,Q : C \to C$ ([[functorial factorization]]).

By the axioms of an [[enriched model category]] it follows that the functor

\begin{displaymath}
\mathbf{R}Hom_C := C(Q(-),P(-)): C^{op} \times C \to SSet
\end{displaymath}
takes values in [[Kan complexes]]. This is called the [[derived hom space]] functor of $C$: we think of $\mathbf{R}Hom(X,Y)$ as the [[∞-groupoid]] of maps from $X$ to $Y$, homotopies of maps, homotopies of homotopies, etc.

\hypertarget{local_objects}{}\paragraph*{{Local objects}}\label{local_objects}

An ordinary [[reflective subcategory]] $C_{loc} \stackrel{\stackrel{T}{\leftarrow]}}{\hookrightarrow} C$ is specified by the preimages $S = T^{-1}(isos)$ of the isomorphisms under $T$ as the full subcategory on the $S$-[[local object]]s $X$: those such that $Hom_C(A \stackrel{s \in S}{\to}B, X)$ are isomorphisms.

The analogous statement in the context of model categories uses the [[derived hom space]] functor instead: given a collection $S \subset Mor(C)$ an object $X$ is called an $S$-[[local object]] if $\mathbf{R}Hom_C(A \stackrel{s \in S}{\to} B, X)$ are weak equivalences.

Similarly, the collection $W_S$ of morphisms $f : E \to F$ such that for all $S$-local objects $X$ $\mathbf{R}Hom_C(f,X)$ is a weak equivalence is called the collection of $S$-[[local object|local weak equivalence]]s.

A \href{http://ncatlab.org/nlab/show/local+object#PropInModCat}{lemma by Lurie} says that for $A \stackrel{s \in S}{\hookrightarrow} B$ a cofibration and $X$ fibrant, $X$ is $S$-local precisely if $C(s,X) : C(B,X) \to C(A,X)$ is an [[Kan fibration|acyclic Kan fibration]]. This helps identifying the $S$-local fibrant objects.

\hypertarget{homotopy_colimits}{}\paragraph*{{Homotopy (co)limits}}\label{homotopy_colimits}

In an ordinary category, a [[limit]] diagram is one such that applying $Hom_C(X,-) : C \to C$ to it produces a limit diagram in [[Set]], for all objects $X$. Similarly a colimit diagram is one sent to Set-limits under all $Hom_C(-,X)$.

In a model category, this has an analog with respect to the [[derived hom space]] functor $\mathbf{R}Hom_C$. A [[homotopy limit]] diagram is one sent by all $\mathbf{R}Hom_C(-,X)$ to a homotopy limit (\ldots{}). Similarly for homotopy colimits.

Sometimes ordinary (co)limits in a model category are already also homotopy colimits:

\begin{itemize}%
\item an \href{http://ncatlab.org/nlab/show/local+object#PropInModCat}{observation by Barwick} shows that in a [[proper model category|left proper]] [[simplicial model category]] ordinary [[pushout]]s along cofibrations are already homotopy colimits.


\item an \href{http://ncatlab.org/nlab/show/combinatorial+model+category#hocolims}{observation by Dugger} shows that [[transfinite composition]] colimits of length $\kappa$ in a combinatorial model category are automatically homotopy colimits for sufficiently large $\kappa$.



\end{itemize}
Since these are the two operations under which $cell(cof_c \cap W_C)$ is closed, this facilitates finding this closure given that by the above the elements of $cof_C \cap W_S$ are characterized by their images under $\mathbf{R}Hom_C(-,X)$ for $S$-local $X$.

\hypertarget{size_issues}{}\paragraph*{{Size issues}}\label{size_issues}

The following proof uses the [[small object argument]] several times. In particular, at one point it is applied relative to the collection $S$ of morphisms at which we localize. It is at this point that we need that assumption that $S$ is indeed a (small) [[set]], and not a proper [[class]].

For the small object argument itself, this requirement comes from the fact that it involves colimits indexed by $S$. These won't in general exist if $S$ is not a set.

The collection of $S$-local weak equivalences $W_S$, however, won't be a small set in general even if $S$ is. But for \href{http://ncatlab.org/nlab/show/combinatorial+model+category#SmithTheorem}{Smith's recognition theorem} to apply we need to check that the full subcategory of $Arr(C)$ on $W_S$ is, while not small, [[accessible category|accessible]].

To establish this we need two \href{http://ncatlab.org/nlab/show/accessible+category#Properties}{properties of accessible categories}: the inverse image of an accessible subcategory under a functor is accessible, and the collections of fibrations, weak equivalences and acyclic fibrations in a combinatorial model category are accessible.

\hypertarget{the_proof_itself}{}\subsubsection*{{The proof itself}}\label{the_proof_itself}

\textbf{Beginning of the proof} of the existence of the left Bousfield localization of a left proper combinatorial simplicial model category at a set $S$ of morphisms.

\hypertarget{recognition_of_the_combinatorial_model_structure}{}\paragraph*{{Recognition of the combinatorial model structure}}\label{recognition_of_the_combinatorial_model_structure}

Using \href{http://ncatlab.org/nlab/show/combinatorial+model+category#SmithTheorem}{Smith's recognition theorem}, for establishing the [[combinatorial model category]] structure, it is sufficient to

\begin{itemize}%
\item exhibit a [[set]] $I$ of cofibrations of $L_S C$ such that $inj(I) \subset W_{L_S C}$ and such that $cof(I) \cap W_{L_S C}$ is closed under [[pushout]] and [[transfinite composition]].


\item check that the weak equivalences form an accessibly embedded accessible subcategory.



\end{itemize}
For the first item choose $I := I_C$ with $I_C$ any set of generating cofibrations of $C$, that exists by assumption on $C$. Then $inj(I) = inj(I_C) = fib_C \cap W_C \subset W_C \subset W_{L_S C}$.

It remains to demonstrate closure of $cof(I) \cap W_{L_S C} = cof_C \cap W_{L_S C}$ under pushout and transfinite composition.

One elegant way to see this, following \href{http://www.math.harvard.edu/~clarkbar/complete.pdf}{Bar}, is to notice that the relevant ordinary [[colimit]]s all happen to be [[homotopy colimit]]s:

\begin{itemize}%
\item all [[pushout]]s along cofibrations in a left [[proper model category]] are homotopy pushouts (details are \href{http://ncatlab.org/nlab/show/proper+model+category#homotopy_colimits_in_proper_model_categories_9}{here});


\item all [[transfinite composition]] colimits in a [[combinatorial model category]] are homotopy colimits (details are \href{http://ncatlab.org/nlab/show/combinatorial+model+category#properties_17}{here})



\end{itemize}
By their definition in terms of the [[derived hom space]] functor, $S$-local weak equivalences in $C$ are preserved under [[homotopy limit|homotopy colimit]]s:

for $K \stackrel{}{\to}L$ an $S$-local morphism -- a morphism in $W_{L_S C}$ -- and for

\begin{displaymath}
\itexarray{
    K &\stackrel{\simeq_S}{\to}& L
    \\
    \downarrow && \downarrow
    \\
    K' &\to& L'
  }
\end{displaymath}
a [[homotopy limit|homotopy pushout]] diagram, we have (by the universal property of homotopy limits) for every object $Z$ -- in particular for every every $S$-[[local object]] $Z$ -- a [[homotopy limit|homotopy pullback]]

\begin{displaymath}
\itexarray{
    \mathbf{R}Hom(L',Z) &\to&
    \mathbf{R}Hom(K',Z)
    \\
    \downarrow && \downarrow
    \\
    \mathbf{R}Hom(L,Z) &\stackrel{\simeq}{\to}&
    \mathbf{R}Hom(K,Z)
  }
  \,,
\end{displaymath}
of $\infty$-groupoids. where the bottom morphism is a weak equivalence by assumption of $S$-locality of $Z$ and $(K \to L)$. But then also the top horizontal morphism is a weak equivalence for all $S$-local $Z$ and therefore $K' \to L'$ is in $W_{L_S C}$.

Similarly for [[transfinite composition]] colimits.

Therefore, indeed, $cof(I) \cap W_{L_S C}$ is closed under pushouts and transfinite composition.

\hypertarget{accessibility_of_the_local_weak_equivalences}{}\paragraph*{{Accessibility of the $S$-local weak equivalences}}\label{accessibility_of_the_local_weak_equivalences}

For the \href{http://ncatlab.org/nlab/show/combinatorial+model+category#SmithTheorem}{Smith recognition theorem} to apply we still have to check that the $S$-[[local object|local weak equivalences]] $W_S$ span an [[accessible category|accessible full subcategory]] $Arr_S(C) \subset Arr(S)$ of the [[arrow category]] of $C$.

By the general \href{http://ncatlab.org/nlab/show/accessible+category#Properties}{properties of accessible categories} for that it is sufficient to exhibit $Arr_S(C)$ as the inverse image of under functor $T : Arr_S(C) \hookrightarrow Arr(C)$ of the accessible category $Arr_W(C)$ spanned by ordinary weak equivalences in $C$.

That functor we take to be the $S$-local fibrant replacement functor from above

\begin{displaymath}
T : (X \to Y) \mapsto (T X \stackrel{T f}{\to} T Y)
  \,.
\end{displaymath}
By one of the above propositions, $S$-local weak equivalence between $S$-local objects are precisely the ordinary weak equivalences. This means that the inverse image under $T$ of the weak equivalences in $C$ are all $S$-local weak equivalences

\begin{displaymath}
T^{-1}(Arr_{W_C}(C) = Arr_S(C)
  \,.
\end{displaymath}
Therefore this is an [[accessible category]].

\textbf{End of the proof} of the existence of the left Bousfield localization of a left proper combinatorial simplicial model category at a set $S$ of morphisms.

\hypertarget{further_properties_2}{}\subsubsection*{{Further properties}}\label{further_properties_2}

\begin{lemmaa}
\label{}\hypertarget{}{}
Every combinatorial localization $B = L_{R} A$ of $A$ is already of the form $L_{S}A$ for $S$ a set of just cofibrations.

\end{lemmaa}
\begin{proof}
See [[Higher Topos Theory|HTT, prop. A.3.7.4]]

We demonstrate that $S := J_B$ does the trick.

\ldots{}

\end{proof}
\hypertarget{using_large_cardinal_axioms}{}\subsubsection*{{Using large cardinal axioms}}\label{using_large_cardinal_axioms}

If one assumes [[large cardinal]] axioms then the existence of Bousfield localization follows much more generally.

\begin{theorem}
\label{}\hypertarget{}{}
[[Vopěnka's principle]] implies the statement:

Let $C$ be a [[left proper model category|left proper]] [[combinatorial model category]] and $Z \in Mor(C)$ a [[class]] of [[morphism]]s. Then the [[Bousfield localization of model categories|left Bousfield localization]] $L_Z W$ exists.

\end{theorem}
This is theorem 2.3 in (\hyperlink{RosickyTholen}{RosickyTholen}).

\hypertarget{existence_of_localizations_for_tractable_ennriched_model_categories}{}\subsection*{{Existence of localizations for tractable ennriched model categories}}\label{existence_of_localizations_for_tractable_ennriched_model_categories}

The above statement is generalized to the context of [[enriched model category]] theory by the following result:

\begin{theorem}
\label{}\hypertarget{}{}
Let

\begin{itemize}%
\item $V$ be a [[tractable model category|tractable]] [[symmetric monoidal category|symmetric]] [[monoidal model category]];


\item $C$ a [[tractable model category|tractable]] [[proper model category|left proper]] $V$-[[enriched model category]]


\item $S \subset Mor(C)$ a small set



\end{itemize}
(all with respect to a fixed [[Grothendieck universe]]).

Then the left enriched Bousfield localization $L_{S/V} C$ does exist and is [[proper model category|left proper]] and [[tractable model category|tractable]].

\end{theorem}
This is (\hyperlink{Barwick}{Barwick, theorem 4.46}).

\hypertarget{examples_and_applications}{}\subsection*{{Examples and Applications}}\label{examples_and_applications}

\hypertarget{categories_to_which_the_general_existence_theorem_applies}{}\subsubsection*{{Categories to which the general existence theorem applies}}\label{categories_to_which_the_general_existence_theorem_applies}

The following [[model category|model categories]] $C$ are left [[proper model category|proper]] [[cellular model category|cellular]]/[[combinatorial model category|combinatorial]], so that the above theorem applies and for every [[set]] $S \subset Mor(C)$ the Bousfield localization $L_S C$ does exist.

\begin{itemize}%
\item [[Top]] with its standard [[model structure on topological spaces]];


\item [[SSet]] with its standard [[model structure on simplicial sets]];


\item the category of [[symmetric monoidal smash product of spectra|symmetric spectra]] in a pointed left-proper cellular model category


\item and so on\ldots{}



\end{itemize}
If $C$ is a left [[proper model category|proper]] ([[simplicial model category|simplicial]]) [[cellular model category]], then so is

\begin{itemize}%
\item the [[functor category]] $[D,C]$ for any ([[simplicially enriched category|simplicial]]) [[small category]] $D$ (using the [[global model structure on functors]]);


\item the [[over category]] $C/s$ for any object $x \in C$ .



\end{itemize}
\hypertarget{at_derived_idempotent_monads}{}\subsubsection*{{At derived idempotent monads}}\label{at_derived_idempotent_monads}

The [[Bousfield-Friedlander theorem]] gives Bousfield localizations at the [[derived functor]]-version of [[idempotent monads]].

See there for more examples of this general construction.

\hypertarget{localization_of_spectra}{}\subsubsection*{{Localization of spectra}}\label{localization_of_spectra}

see \emph{[[Bousfield localization of spectra]]}

\hypertarget{local_model_structure_on_presheaves}{}\subsubsection*{{Local model structure on presheaves}}\label{local_model_structure_on_presheaves}

Left Bousfield localization produces the \emph{local} [[model structure on homotopical presheaves]]. For instance the [[local model structure on simplicial presheaves]].

\hypertarget{relation_to_other_concepts}{}\subsection*{{Relation to other concepts}}\label{relation_to_other_concepts}

\hypertarget{LocPresInf}{}\subsubsection*{{Locally presentable $(\infty,1)$-categories}}\label{LocPresInf}

As described at [[presentable (∞,1)-category]], an [[(∞,1)-category]] $\mathbf{C}$ is presentable precisely if, as an [[simplicially enriched category]], it arises as the full subcategory of fibrant-cofibrant objects of a [[combinatorial simplicial model category]].

The \emph{proof} of this proceeds via Bousfield localization, and effectively exhibits Bousfield localization as the procedure that models [[localization of an (∞,1)-category]] when $(\infty,1)$-categories are modeled by model categories.

For notice that

\begin{enumerate}%
\item a presentable $(\infty,1)$-category $\mathbf{C}$ is one arising as the [[localization of an (∞,1)-category|localization]]

\begin{displaymath}
\mathbf{C} \simeq S^{-1} Funct(K,\infty Grpd) = S^{-1}PSh_{(\infty,1)}(K)
\end{displaymath}
of an [[(∞,1)-category of (∞,1)-presheaves]]


\item every [[(∞,1)-category of (∞,1)-presheaves]] $PSh_{(\infty,1)}(K)  \simeq ([K,SSet]_{inj})^\circ$ arises as the subcategory of fibrant-cofibrant objects of the global [[model structure on simplicial presheaves]];


\item in terms of the [[simplicial model category]] $[K,SSet]_{inj}$ the prescription for [[localization of an (∞,1)-category|localization as an (∞,1)-category]] and passing to the subcategory of fibrant-cofibrant objects of the Bousfield localization $L_S [K,SSet]_{inj}$ is literally the same: in both cases one passes to the full subcategory on the $S$-[[local object]]s.



\end{enumerate}
Moreover, by \href{http://ncatlab.org/nlab/show/combinatorial+model+category#duggers_theorem_13}{Dugger's theorem on combinatorial model categories} every [[combinatorial simplicial model category]] arises this way.

This is the argument of [[Higher Topos Theory|HTT, prop A.3.7.6]].

This gives a good conceptual interpretation of Bousfield localization, since the [[localization of an (∞,1)-category]] is nothing but an adjunction

\begin{displaymath}
\mathbf{C} \stackrel{\stackrel{lex}{\leftarrow}}{\hookrightarrow}
  \mathbf{D}
\end{displaymath}
that exhibits $\mathbf{C}$ as a [[reflective (∞,1)-subcategory]] of $\mathbf{D}$.

So we find the diagram

\textbf{Localization of $(\infty,1)$-presheaf categories}

\begin{displaymath}
\itexarray{
      Sh_{(\infty,1)}(K)
     &\stackrel{\stackrel{lex}{\leftarrow}}{\hookrightarrow}
     &
     PSh_{(\infty,1)}(K)
     &&&
     abstract\;higher\;categorical\;def
     \\
     \uparrow^{\simeq}
     &&
     \uparrow^{\simeq}
     &&& Lurie's \;theorem
     \\
     ([K^{op},SSet]_{inj}^{loc})^\circ
     &\stackrel{\stackrel{Bousfield\;loc.}{\leftarrow}}
     {\to}&
     ([K^{op},SSet]_{inj})^\circ
     &&&
     concrete\;realization
  }
  \,.
\end{displaymath}
Here $(-)^\circ$ denotes passing to the full [[simplicially enriched category|simplicially enriched]] [[subcategory]] on the fibrant-cofibrant objects, regarding that as an [[(∞,1)-category]]. (If one wants to regard that as a [[quasi-category]], then $(-)^\circ$ also involves taking the [[homotopy coherent nerve]] of this simplicially enriched category.)

\hypertarget{localization_of_triangulated_categories}{}\subsubsection*{{Localization of triangulated categories}}\label{localization_of_triangulated_categories}

There is also a notion of [[Bousfield localization of triangulated categories]].

Under suitable conditions it should be true that for $C$ a model category whose [[homotopy category]] $Ho(C)$ is a [[triangulated category]] the homotopy category of a left Bousfield localization of $C$ is the left Bousfield localization of $Ho(C)$. See \href{http://mathoverflow.net/a/136517/1291}{this answer on MO}.

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

\begin{itemize}%
\item [[localization]], [[colocalization]]


\item [[right Bousfield delocalization]]


\item [[localization at an object]]


\item [[semi-left-exact left Bousfield localization]]



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

Bousfield localization appears as definition 3.3.1 in

\begin{itemize}%
\item [[Philip Hirschhorn|P. Hirschhorn]], \emph{Model categories and their localizations}, volume 99 of Mathematical Surveys and Monographs , American Mathematical Society, 2009,

\end{itemize}
for left proper [[cellular model category|cellular model categories]].

In proposition A.3.7.3 of

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

\end{itemize}
it is discussed in the context of [[combinatorial model category|combinatorial model categories]] and of [[combinatorial simplicial model category|combinatorial simplicial model categories]] in particular.

The relation to [[localization of an (infinity,1)-category]] is also in [[Higher Topos Theory|HTT]], for the time being see the discussion at [[models for ∞-stack (∞,1)-toposes]] for more on that.

A detailed discussion of Bousfield localization in the general context of [[enriched model category]] theory is in

\begin{itemize}%
\item [[Clark Barwick]], \emph{On (enriched) left Bousfield localization of model categories} (\href{http://arxiv.org/abs/0708.2067}{arXiv:0708.2067})


\item [[Clark Barwick]], \emph{On the Dreaded Right Bousfield Localization} (\href{http://arxiv.org/abs/0708.3435}{arXiv:0708.3435})



\end{itemize}
Bousfield localization\_ (\href{http://www.math.harvard.edu/~clarkbar/complete.pdf}{pdf})

in terms of [[enriched model category|enriched]] [[tractable model category|tractable model categories]].

The relation to [[Vopěnka's principle]] is discussed in

\begin{itemize}%
\item [[Jiří Rosický]], [[Walter Tholen]], \emph{Left-determined model categories and universal homotopy theories}, Transactions of the American Mathematical Society Vol. 355, No. 9 (Sep., 2003), pp. 3611-3623 (\href{http://www.jstor.org/stable/1194855}{JSTOR}).

\end{itemize}
[[!redirects bousfield localization]] [[!redirects Bousfield localisation]]

[[!redirects left Bousfield localization]] [[!redirects left Bousfield localizations]]

[[!redirects left Bousfield localization of model categories]] [[!redirects left Bousfield localizations of model categories]]

[[!redirects right Bousfield localization]] [[!redirects right Bousfield localizations]] [[!redirects left Bousfield localisation]] [[!redirects left Bousfield localisations]] [[!redirects right Bousfield localisation]] [[!redirects right Bousfield localisations]]



\end{document}