Doriath
Sandbox
\array{
&&
(\infty,1)Sh(C)
&&&
(\infty,1)PSh(C)
&&&
(\infty,1)Sh(C)
\\
&&
\uparrow^{presentation}
&&&
\uparrow^{presentation}
&&&
\uparrow^{presentation}
\\
SSh(C)^{l loc}_{inj} &
\stackrel{\stackrel{sheafification}{\leftarrow}}
{\stackrel{embedding}{\to}}&
SPSh(C)^{l loc}_{inj}
&\stackrel{}{\leftarrow}|&
SPSh(C)_{inj}
&\stackrel{\stackrel{Id}{\leftarrow}}
{\stackrel{Id}{\rightarrow}}&
SPSh(C)_{proj}
&\stackrel{}{\mapsto}&
SPSh(C)_{proj}^{l loc}
&
\stackrel{\stackrel{sheafification}{\to}}
{\stackrel{embedding}{\leftarrow}}&
SSh(C)_{proj}^{l loc}
\\
Joyal
&\stackrel{Quillen equivalence}{\leftrightarrow}&
Jardine
&\stackrel{left Bousf. localization}{\leftarrow|}&
Heller
&\stackrel{Quillen equivalence}{\leftrightarrow}&
Bousfield-Kan
&\stackrel{left Bousf. localization}{\mapsto}&
Blander
&\stackrel{Quillen equivalence}{\leftrightarrow}&
Brown-Gersten
\\
\\
&
everything cofibrant;
\\
& fibrant = global injective fib...
\\
\;\;\;
& ...satisfying descent
&&&&&&&&
cofibrant = global projective cofib;
\\
&&&&&&&&&
fibrant = Kan valued and...
\\
&&&&&&&&&
\;\;\;
...satisfying descent
}
Revised on May 22, 2010 23:23:50
by
Toby Bartels
(75.117.105.22)