Kerodon

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

Comments on Proposition 3.4.1.2

Go back to the page of Proposition 3.4.1.2.

Comment #453 by Haoqing on

typo in "For every factorization of the morphism " where the last should be .

Comment #458 by Kerodon on

Yep. Thanks!

Comment #525 by Tim Holzschuh on

Typo in the proof: "... if and only if the induced map is a weak homotopy equivalence. is a weak homotopy equivalence. ...". It might also be useful to once again refer to Remark 00UD at the end of the proof to conclude that is a weak homotopy equivalence if and only if is.

Comment #1702 by Claudius on

At the start of the proof, the target of the map should contain .

Comment #1709 by Kerodon on

Yep. Thanks!

There are also:

  • 5 comment(s) on Chapter 3: Kan Complexes
  • 4 comment(s) on Section 3.4: Homotopy Pullback and Homotopy Pushout Squares
  • 4 comment(s) on Subsection 3.4.1: Homotopy Pullback Squares

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 010N. The letter 'O' is never used.