Kerodon

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

Go back to the page of Definition 5.0.0.3.

Comment #728 by Tim Holzschuh on

In the definition of cocartesian fibrations: "... where $X$ is an object of $\mathcal{D}$ satisfying $U(X)=\overline{X}$ and ...": $X$ should read "$Y$".

Comment #731 by Kerodon on

Yep. Thanks!

Comment #859 by Carles Sáez on

Typo: At the first point "$X$ is an object of $\mathcal{D}$" should be "$X$ is an object of $\mathcal{E}$".

Comment #860 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).