Lemma 115.10.1 (01AA)—The Stacks project

Processing math: 100%

Lemma 115.10.1. Assumptions and notation as in Simplicial, Lemma 14.32.1. There exists a section $g : U \to V$ to the morphism $f$ and the composition $g \circ f$ is homotopy equivalent to the identity on $V$ . In particular, the morphism $f$ is a homotopy equivalence.

Proof. Immediate from Simplicial, Lemmas 14.32.1 and 14.30.8. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment