# Kerodon

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

Go back to the page of Subsection 5.4.1.

Comment #761 by Antonio Ruiz on

In definition 5.4.1.1, left-degenerate and right-degenerate are phrased in such a way that it is impossible to be simultaneously left-degenerate and right-degenerate, contradicting the second bullet of the following remark.

Comment #765 by Kerodon on

Looks fine to me. Constant maps factor through everything.

Comment #767 by Antonio Ruiz on

My bad, I saw $\sigma^0(1) = 0$ and $\sigma^0(1) = 1$ and it distraught me a bit. But now I see it's perfectly reasonable.

There are also:

• 2 comment(s) on Section 5.4: $(\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).