# Kerodon

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

Go back to the page of Proposition 1.4.5.13.

Comment #197 by Eye on

Typo: in the last sentence of the proof of (a), $f_{0,\gamma}$, $f_{\beta,\gamma}$, and $f_{0,\beta}$ need to be replaced by $f_{\gamma,0}$, $f_{\gamma,\beta}$, and $f_{\beta,0}$, respectively.

Comment #208 by Kerodon on

Yep. Thanks!

Comment #373 by Kazuaki Miyatani on

Typo: Example 1.4.4.8 should read Exercise 1.4.4.8.

Comment #375 by Kerodon on

Yep. Thanks!

Comment #487 by Tim Holzschuh on

Type in the statement of $(b)$: by the collection of ...

Comment #488 by Kerodon on

Yep. Thanks!

Comment #869 by Maxime on

I think in the proof of (b), if you want to write the coproduct as a transfinite composition, you have to change you $\tau \leq \sigma$ by $\tau\geq \sigma$'s and dually (and similarly with strict comparisons)

Otherwise your $j_\sigma$ goes from something indexed by $\sigma+1$ to something indexed by $\sigma$, and so that would be a dual transfinite induction and you need a co-well ordering on Q.

Comment #870 by Kerodon on

Yep. Thanks!

There are also:

• 12 comment(s) on Chapter 1: The Language of $\infty$-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).