Kerodon

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

Comments on Subsection 1.1.6

Go back to the page of Subsection 1.1.6.


Comment #39 by Daniel on

Typo: In the proof of Proposition 1.1.4.8, should be (or ). The same for remark 1.1.4.10.

Comment #47 by Kerodon on

Yep; thanks!

Comment #257 by Areeb on

Typo: In Example 1.1.5.4, the third bullet point should read and instead of and respectively.

Comment #260 by Kerodon on

Yep; thanks!

Comment #855 by muramura on

This isn't important, but I'm somewhat displeased with the chosen morphisms of directed graphs. I'd replace it with the equivalent category of reflexive graphs, where in addition to there is a map that is a section of and , and morphisms now map edges to edges, vertices to vertices and commute with all the structure (and when constructing such a graph from a simplicial set, we now take all the 1-simplices as edges).

There are also:

  • 15 comment(s) on Chapter 1: The Language of $\infty $-Categories
  • 10 comment(s) on Section 1.1: Simplicial Sets

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 001D. The letter 'O' is never used.