# Kerodon

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

Go back to the page of Corollary 5.5.7.13.

Comment #782 by Tim Holzschuh on

Typo in the statement: "Then the projection maps Then the projection maps"

Comment #793 by Kerodon on

Yep. Thanks!

Comment #1266 by Carles Sáez on

I think it should be better to use $K_0$ and $f_0$ instead of $K'$ and $f'$, in order to maintain notation from other places (and the use in Warning 5.4.7.12).

Comment #1272 by Kerodon on

Yes, agreed.

There are also:

• 2 comment(s) on Section 5.5: $(\infty ,2)$-Categories

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