# Kerodon

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

Go back to the page of Section 5.1.

Comment #707 by Tim Holzschuh on

It's probably not worth mentioning, but in the third bullet you write "Let $U \colon \mathcal{C} \to \mathcal{D}$ be a Cartesian fibration of simplicial sets and let $f \colon K \to \mathcal{C}$ be any morphism of simplicial sets.", where everywhere else cartesian fibration is written uncapitalized.

Comment #712 by Kerodon on

Yep. Thanks! That's going to be a tough habit to break.

Comment #729 by Tim Holzschuh on

In the introduction you one time write a condition for $g$ being cocartesian and then write a condition for $g$ being cartesian that you claim to be an equivalent reformulation in terms of nerves of categories. I suppose the first conidition is already the condition for $g$ being cartesian.

Comment #730 by Tim Holzschuh on

Also: There is one more occasion where it is written "Cartesian fibration" instead of "cartesian fibration" at the last bullet when properties of cartesian fibrations are explained.

At the same spot: "... which we prove in §5.4.5).": the ')' is superfluous.

Comment #732 by Kerodon on

Yep. Thanks!

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