# Kerodon

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

Go back to the page of Corollary 2.2.1.15.

Comment #86 by Carles Sáez on

A pair of typos: In the square, the lower left element should be $e$ instead of $e \circ (e \circ e)$. In the last line, it should say: "since it is isomorphic to the identity functor via the left unit constraint $\lambda$"

Comment #87 by Carles Sáez on

A pair of typos: In the square, the lower left element should be $e$ instead of $e \circ (e \circ e)$. In the last line, it should say: "since it is isomorphic to the identity functor via the left unit constraint $\lambda$"

Comment #88 by Kerodon on

Thanks for the correction! You mean the lower right entry of the diagram, correct?

Comment #89 by Carles Sáez on

Sure, I meant the lower right.

There are also:

• 4 comment(s) on Chapter 2: Examples of $\infty$-Categories
• 2 comment(s) on Section 2.2: The Theory of $2$-Categories
• 2 comment(s) on Subsection 2.2.1: $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).