5
$\begingroup$

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?

$\endgroup$
1
  • $\begingroup$ Having thought a little bit I proved that the inclusion of the semisimplicial category to the simplicial category is a homotopy left cofinal functor. But it must be a very standard thing and written somewhere. Can somebody help me with a reference? $\endgroup$
    – Victor
    Oct 15, 2010 at 19:37

1 Answer 1

2
$\begingroup$

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.

$\endgroup$
1
  • 3
    $\begingroup$ Hi Hiro! Glad to hear from you and thanks for your reference. But of course this thing is older than Lurie: E. Dror, W. G. Dwyer. A long homology localization tower. Comment. Math. Helv. 52 (1977), no. 2, 185210. $\endgroup$
    – Victor
    Sep 23, 2011 at 19:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.