Kerodon

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

Comments on Proposition 3.1.2.9

Go back to the page of Proposition 3.1.2.9.


Comment #292 by I. Vanni on

The protasis of the second sentence in the statement should read "If either or is anodyne", I guess.

Comment #295 by Kerodon on

Yep. Thanks!

Comment #1428 by Heiko Braun on

After "Replacing f' by the monomorphism..." comes only a domain, not a map.

Comment #2340 by Manuel Araújo on

I think the same problem appears here as in https://kerodon.net/tag/007F.

Namely, the the proof that is weakly saturated requires the fact that the set of morphisms whose pushout product with a fixed morphism belongs to a weakly saturated class is itself weakly saturated. The proof of this uses the small object argument.

There are also:

  • 5 comment(s) on Chapter 3: Kan Complexes
  • 6 comment(s) on Section 3.1: The Homotopy Theory of Kan Complexes
  • 2 comment(s) on Subsection 3.1.2: Anodyne Morphisms

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 014D. The letter 'O' is never used.