# Kerodon

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

Go back to the page of Subsection 2.1.5.

Comment #166 by DnlGrgk on

In Definition 2.1.5.3, "for every object $X \in \mathcal{C}'$" should be "for every object $X \in \mathcal{C}$".

Comment #167 by DnlGrgk on

Example 2.1.5.2 should be placed after Example 2.1.5.17.

Comment #169 by Kerodon on

Yep; thanks!

Comment #241 by Peng DU on

2 lines before Proposition 2.1.5.4, "unique determined" should be "uniquely determined".

Comment #246 by Kerodon on

Yep; thanks!

Comment #415 by Haoqing on

There is a typo in Definition 2.1.5.2, "$\epsilon : \mathbf{1}_{\operatorname{\mathcal{D}}} \rightarrow G(\mathbf{1}_{\operatorname{\mathcal{C}}})$", there $G$ should be $F$.

Comment #416 by Kerodon on

Yep, thanks!

Comment #470 by nk on

There is a type in Proposition 2.1.5.6. $\epsilon : \mathbf{1}_{\operatorname{\mathcal{D}}} \rightarrow G(\mathbf{1}_{\operatorname{\mathcal{C}}})$, $G$ should be $F$.

Comment #471 by nk on

correction: There is a type in Proposition 2.1.5.6. $\epsilon : \mathbf{1}_{\operatorname{\mathcal{D}}} \rightarrow F(\mathbf{1}_{\operatorname{\mathcal{C}}})$, $F$ should be $G$.

Comment #473 by Kerodon on

Yep; thanks!

There are also:

• 4 comment(s) on Chapter 2: Examples of $\infty$-Categories
• 3 comment(s) on Section 2.1: Monoidal 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).