Kerodon

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

Comments on Proposition 1.1.3.8

Go back to the page of Proposition 1.1.3.8.

Comment #867 by Elizabeth Goldfinch on

How is the identity in the last line supposed to be derived in this proof? (The proofs of this proposition with which I am familiar deduce from the fact that they have been shown to have the same set of sections.)

Comment #868 by Kerodon on

Yes, you're right; some additional argument is needed there. Thanks!

There are also:

  • 15 comment(s) on Chapter 1: The Language of $\infty $-Categories
  • 9 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 0014. The letter 'O' is never used.