Doriath
Sandbox

(,1)Sh(C) (,1)PSh(C) (,1)Sh(C) presentation presentation presentation SSh(C) inj lloc embeddingsheafification SPSh(C) inj lloc SPSh(C) inj IdId SPSh(C) proj SPSh(C) proj lloc embeddingsheafification SSh(C) proj lloc Joyal Quillenequivalence Jardine leftBousf.localization Heller Quillenequivalence BousfieldKan leftBousf.localization Blander Quillenequivalence BrownGersten everythingcofibrant; fibrant=globalinjectivefib... ...satisfyingdescent cofibrant=globalprojectivecofib; fibrant=Kanvaluedand... ...satisfyingdescent\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 }