# Kerodon

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

## Comments on Subsection 2.4.4

Go back to the page of Subsection 2.4.4.

Comment #253 by DnlGrgk on

In Notation 2.4.4.2: "Let $S_{\bullet}$ be a simplicial set. It follows immediately from the definitions that if there exists a map of simplicial sets $u: S_{\bullet } \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}_{\bullet })$ which exhibits $\mathcal{C}}_{\bullet }$ as a path category of $S_{\bullet}$, then …"

Comment #254 by DnlGrgk on

In Notation 2.4.4.2: "Let $S_{\bullet}$ be a simplicial set. It follows immediately from the definitions that if there exists a map of simplicial sets $u: S_{\bullet} \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{\mathcal{C}}_{\bullet })$ which exhibits $\mathcal{C}_{\bullet}$ as a path category of $S_{\bullet}$, then …"

There are also:

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