# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Go back to the page of Theorem 3.4.3.3.

Comment #717 by Carles Sáez on

Typos in the proof: 1. In the first sentence "$q$ is a Kan fibration" should be "$q'$ is a Kan fibration". 2. The labeled arrow in the cube diagram should be $w$ instead of $q'$.

There are also:

• 5 comment(s) on Chapter 3: Kan Complexes
• 4 comment(s) on Section 3.4: Homotopy Pullback and Homotopy Pushout Squares
• 5 comment(s) on Subsection 3.4.3: Mather's Second Cube Theorem

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).