# Kerodon

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

Go back to the page of Theorem 5.2.1.1.

Comment #997 by Robin Carlier on

In the definition of a special map, the evaluation at each point should be $q$-cartesian and not $q$-cocartesian.

In the sentence "Moreover, Proposition 5.2.1.3 guarantees[...]", Cor. 1.4.5.7 (0071) is used, it's pretty basic, but maybe it's worth putting a reference in the proof?

Comment #1004 by Kerodon on

Yep. Thanks!

Comment #1453 by Claudius Heyer on

In the penultimate sentence of the proof, $\operatorname{ev}_ b(x)$ should be replaced by $\operatorname{ev}_b(e)$.

Comment #1464 by Kerodon on

Yep. Thanks!

There are also:

• 7 comment(s) on Section 5.2: Covariant Transport

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