most recent 30 from http://mathoverflow.net 2013-05-19T22:10:30Z http://mathoverflow.net/feeds/question/42109 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42109/semicosimplicial-totalization Victor 2010-10-14T03:57:32Z 2011-09-22T15:10:51Z

<p>Can somebody help me with a reference showing that the homotopy semicosimplicial totalization of a cosimplicial space is homotopy equivalent to its usual homotopy totalization? Is it because the inclusion of the semisimplicial category into the simplicial category is a homotopy left cofinal functor?</p>

http://mathoverflow.net/questions/42109/semicosimplicial-totalization/76130#76130 Hiro Lee Tanaka 2011-09-22T15:10:51Z 2011-09-22T15:10:51Z

<p>I agree this should be standard, but I've only seen the proof in one place. See Lemma 6.5.3.7 of Lurie's Higher Topos Theory.</p>